Research Article
Zermelo and the Skolem Paradox
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-161
-
- Article
- Export citation
Formalization in Philosophy
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 162-175
-
- Article
- Export citation
Proper Forcing and Remarkable Cardinals
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 176-184
-
- Article
- Export citation
Definable Encodings in the Computably Enumerable Sets
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 185-196
-
- Article
- Export citation
Degree Spectra of Relations on Computable Structures
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 197-212
-
- Article
- Export citation
Reviews
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 (1994), pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 (1997), pp. 417–434.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-216
-
- Article
- Export citation
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
-
- Article
- Export citation
H. Garth Dales and W. Hugh Woodin. Super-real fields. Totally ordered fields with additional structure. London Mathematical Society monographs, n.s. no. 14. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, xv + 357 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 218-221
-
- Article
- Export citation
Arnold Beckmann and Wolfram Pohlers. Applications of cut-free infinitary derivations to generalized recursion theory. Annals of pure and applied logic, vol. 94 (1998), pp. 7–19.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 221-222
-
- Article
- Export citation
Andreas Weiermann. Sometimes slow growing is fast growing. Annals of pure and applied logic, vol. 90 (1997) pp. 91–99.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-223
-
- Article
- Export citation
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 (1996), pp. 225–261.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 223-225
-
- Article
- Export citation
Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-229
-
- Article
- Export citation
Obituary
In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 230-231
-
- Article
-
- You have access
- Export citation
Meeting Report
1999–2000 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 232-247
-
- Article
- Export citation
Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 248-255
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 256-262
-
- Article
- Export citation
Front matter
BSL volume 6 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 6 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
-
- Article
-
- You have access
- Export citation