1635 results in Bulletin of Symbolic Logic
Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii + 390 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, p. 408
- Print publication:
- September 2003
-
- Article
- Export citation
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 387-405
- Print publication:
- September 2003
-
- Article
- Export citation
Survey of the Steinhaus Tiling Problem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 335-361
- Print publication:
- September 2003
-
- Article
- Export citation
Peter Bernhard. Euler-Diagramme. Mentis, Paderborn, 2001, 162 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 412-414
- Print publication:
- September 2003
-
- Article
- Export citation
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 362-386
- Print publication:
- September 2003
-
- Article
-
- You have access
- Export citation
William Mitchell, Ernest Schimmerling, and John Steel. The covering lemma up to a Woodin cardinal. Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–255.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 414-416
- Print publication:
- September 2003
-
- Article
- Export citation
Paraconsistency: the logical way to the inconsistent, edited by Walter A. Carnielli, Marcelo E. Coniglio, and Itala M. Loffredo D'Ottaviano, Marcel Dekker, New York, 2002, xiv + 552 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 410-412
- Print publication:
- September 2003
-
- Article
- Export citation
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-334
- Print publication:
- September 2003
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 419-424
- Print publication:
- September 2003
-
- Article
- Export citation
David Marker. Model Theory: An Introduction. Graduate Texts in Mathematics, vol. 271. Springer Verlag, New York, Berlin and Heidelberg, 2002, 342 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 408-409
- Print publication:
- September 2003
-
- Article
- Export citation
Herbert B. Enderton. A Mathematical Introduction to Logic. Harcourt/Academic Press, New York and London, 2001 (Second edition), xii + 317 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-407
- Print publication:
- September 2003
-
- Article
- Export citation
In Memoriam: Walter Felscher 1931–2000
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 417-418
- Print publication:
- September 2003
-
- Article
-
- You have access
- Export citation
Yurii Rogozhin. Small universal Turing machines. Theoretical Computer Science, vol. 168 (1996), pp. 215–240.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, p. 414
- Print publication:
- September 2003
-
- Article
- Export citation
Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 197-212
- Print publication:
- June 2003
-
- Article
- Export citation
Benedikt Löwe and Philip Welch. Set-theoretic absoluteness and the revision theory. Studia Logica, vol. 68 (2001), pp. 21–41. - Benedikt Löwe. Revision sequences and computers with an infinite amount of time. Journal of Logic and Computation, vol. 11 (2001), pp. 25–40.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 235-237
- Print publication:
- June 2003
-
- Article
- Export citation
2002 Annual Conference of the Australasian Association for Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 257-265
- Print publication:
- June 2003
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 266-271
- Print publication:
- June 2003
-
- Article
- Export citation
From Foundations to Ludics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 131-168
- Print publication:
- June 2003
-
- Article
- Export citation
BSL volume 9 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b9
- Print publication:
- June 2003
-
- Article
-
- You have access
- Export citation
Moti Gitik and Menachem Magidor. Extender based forcings. The Journal of Symbolic Logic, vol. 59 (1994), pp. 445–460. - Moti Gitik and William J. Mitchell. Indiscernible sequences for extenders, and the singular cardinal hypothesis. Annals of Pure and Applied Logic, vol. 82 (1996), pp. 273–316. - Moti Gitik. Blowing up the power of a singular cardinal. Annals of Pure and Applied Logic, vol. 80 (1996), pp. 17–33. - Moti Gitik and Carmi Merimovich. Possible values for and . Annals of Pure and Applied Logic, vol. 90 (1997), pp. 193–241. - Moti Gitik. Blowing up power of a singular cardinal—wider gaps. Annals of Pure and Applied Logic, vol. 116 (2002), pp. 1–38.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 237-241
- Print publication:
- June 2003
-
- Article
- Export citation