1635 results in Bulletin of Symbolic Logic
Sam Buss. Preface. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 463-464
- Print publication:
- December 2000
-
- Article
- Export citation
Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 (1998), pp. 113–159.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 478-479
- Print publication:
- December 2000
-
- Article
- Export citation
Samuel R. Buss. An introduction to proof theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, p. v., pp. 1–78.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 464-465
- Print publication:
- December 2000
-
- Article
- Export citation
Does Mathematics Need New Axioms?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 401-446
- Print publication:
- December 2000
-
- Article
- Export citation
Association For Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. 509-566
- Print publication:
- December 2000
-
- Article
- Export citation
Grigoris Antoniou. Nonmonotonic reasoning. With contributions by Mary-Anne Williams. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xiii + 285 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 484-490
- Print publication:
- December 2000
-
- Article
- Export citation
An Interpolation Theorem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 447-462
- Print publication:
- December 2000
-
- Article
- Export citation
A. S. Troelstra. Realizability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 407–473.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 470-471
- Print publication:
- December 2000
-
- Article
- Export citation
Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 (1996), pp. 191–208.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 346-347
- Print publication:
- September 2000
-
- Article
- Export citation
2000 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-396
- Print publication:
- September 2000
-
- Article
- Export citation
Michael Rathjen. Recent advances in ordinal analysis: -CA and related systems. The bulletin of symbolic logic, vol. 1 (1995), pp. 468–485.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 357-358
- Print publication:
- September 2000
-
- Article
- Export citation
Michael Woods. Conditionals. Edited by David Wiggins. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1997, ix + 152 pp. - Dorothy Edgington. Commentary. Therein, pp. 95–137.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 358-360
- Print publication:
- September 2000
-
- Article
- Export citation
Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 311-330
- Print publication:
- September 2000
-
- Article
- Export citation
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 (1996), pp. 103–130.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 356-357
- Print publication:
- September 2000
-
- Article
- Export citation
BSL volume 6 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- September 2000
-
- Article
-
- You have access
- Export citation
BSL volume 6 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
- Print publication:
- September 2000
-
- Article
-
- You have access
- Export citation
Petr Hájek. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 342-346
- Print publication:
- September 2000
-
- Article
- Export citation
Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto. How to define a linear order on finite models. Annals of pure and applied logic, vol. 87 (1997), pp. 241–267.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 355-356
- Print publication:
- September 2000
-
- Article
- Export citation
Brouwer and Fraenkel on Intuitionism
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-310
- Print publication:
- September 2000
-
- Article
- Export citation
Machines, Logic and Quantum Physics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 265-283
- Print publication:
- September 2000
-
- Article
- Export citation