Research Article
The Empty Set, The Singleton, and the Ordered Pair
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 273-298
-
- Article
- Export citation
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-334
-
- Article
- Export citation
Survey of the Steinhaus Tiling Problem
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 335-361
-
- Article
- Export citation
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 362-386
-
- Article
-
- You have access
- Export citation
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 387-405
-
- Article
- Export citation
Reviews
Herbert B. Enderton. A Mathematical Introduction to Logic. Harcourt/Academic Press, New York and London, 2001 (Second edition), xii + 317 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-407
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 408
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 408-409
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 410-412
-
- Article
- Export citation
Peter Bernhard. Euler-Diagramme. Mentis, Paderborn, 2001, 162 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 412-414
-
- Article
- Export citation
Yurii Rogozhin. Small universal Turing machines. Theoretical Computer Science, vol. 168 (1996), pp. 215–240.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 414
-
- Article
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 414-416
-
- Article
- Export citation
Obituary
In Memoriam: Walter Felscher 1931–2000
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 417-418
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 419-424
-
- Article
- Export citation
Front matter
BSL volume 9 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 9 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b9
-
- Article
-
- You have access
- Export citation