1635 results in Bulletin of Symbolic Logic
Diophantine Geometry from Model Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 37-57
- Print publication:
- March 2001
-
- Article
- Export citation
C. Stephen Layman. The power of logic. Mayfield Publishing Company, Mountain View, Calif., London, and Toronto, 1999, ix + 566 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 79-81
- Print publication:
- March 2001
-
- Article
- Export citation
Pavel Pudlák. The lengths of proofs. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 547–637.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 473-475
- Print publication:
- December 2000
-
- Article
- Export citation
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 490-495
- Print publication:
- December 2000
-
- Article
- Export citation
Gerhard Jäger and Robert F. Stärk. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 475-476
- Print publication:
- December 2000
-
- Article
- Export citation
James E. Baumgartner. Sacks forcing and the total failure of Martin's axiom. Topology and its applications, vol. 19 (1985), pp. 211–225. - James E. Baumgartner and Peter Dordal. Adjoining dominating functions. The journal of symbolic logic, vol. 50 (1985), pp. 94–101.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 495-497
- Print publication:
- December 2000
-
- Article
- Export citation
Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 (1998), pp. 201–222.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, p. 477
- Print publication:
- December 2000
-
- Article
- Export citation
Handbook of logic in artificial intelligence and logic programming, Volume 3, Nonmonotonic reasoning and uncertain reasoning, edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, with D. Nute, Handbooks of logic in computer science and artificial intelligence and logic programming, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1994, xix + 529 pp.–
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 480-484
- Print publication:
- December 2000
-
- Article
- Export citation
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N= (‘Hume's principle’). The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–405.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 498-504
- Print publication:
- December 2000
-
- Article
- Export citation
Robert L. Constable. Types in logic, mathematics and programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 683–786.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 476-477
- Print publication:
- December 2000
-
- Article
- Export citation
Matt Fairtlough and Stanley S. Wainer. Hierarchies of provably recursive functions. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 149–207.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 466-467
- Print publication:
- December 2000
-
- Article
- Export citation
BSL volume 6 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
- Print publication:
- December 2000
-
- Article
-
- You have access
- Export citation
BSL volume 6 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- December 2000
-
- Article
-
- You have access
- Export citation
Samuel R. Buss. First-order proof theory of arithmetic. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 79–147.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 465-466
- Print publication:
- December 2000
-
- Article
- Export citation
Jeremy Avigad and Solomon Feferman. Gödel's functional (“Dialectica”) interpretation. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 337–405.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 469-470
- Print publication:
- December 2000
-
- Article
- Export citation
In Memoriam: Kenneth Jon Barwise 1942–2000
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 505-508
- Print publication:
- December 2000
-
- Article
-
- You have access
- Export citation
Giorgi Japaridze and Dick de Jongh. The logic of provability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 475–546.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 472-473
- Print publication:
- December 2000
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 567-570
- Print publication:
- December 2000
-
- Article
- Export citation
Wolfram Pohlers. Subsystems of set theory and second-order number theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 209–335.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 467-469
- Print publication:
- December 2000
-
- Article
- Export citation
James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 (1985), pp. 31–40. - James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 497-498
- Print publication:
- December 2000
-
- Article
- Export citation