12 results
A NOTE ON CHOICE PRINCIPLES IN SECONDORDER LOGIC
 Part of
 Journal: The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
 Published online by Cambridge University Press: 25 August 2020, pp. 339350
 Print publication: June 2023

 Article
 Export citation
Preface to this edition

 Book: Proofs and Refutations
 Published online: 05 November 2015
 Print publication: 08 October 2015, pp viiviii

 Chapter
 Export citation
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
 Journal: Bulletin of Symbolic Logic / Volume 21 / Issue 2 / June 2015
 Published online by Cambridge University Press: 04 June 2015, pp. 164187
 Print publication: June 2015

 Article
 Export citation
IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS
 Journal: The Review of Symbolic Logic / Volume 8 / Issue 2 / June 2015
 Published online by Cambridge University Press: 16 January 2015, pp. 370410
 Print publication: June 2015

 Article
 Export citation
ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY
 Journal: The Review of Symbolic Logic / Volume 5 / Issue 2 / June 2012
 Published online by Cambridge University Press: 20 March 2012, pp. 294353
 Print publication: June 2012

 Article
 Export citation
Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, and Annie di Donna. Logicomix. Bloomsbury, New York, 2009, 347 pp.
 Journal: Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
 Published online by Cambridge University Press: 15 January 2014, pp. 419420
 Print publication: September 2010

 Article
 Export citation
MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR’S THEORY OF INFINITE NUMBER INEVITABLE?
 Journal: The Review of Symbolic Logic / Volume 2 / Issue 4 / December 2009
 Published online by Cambridge University Press: 01 December 2009, pp. 612646
 Print publication: December 2009

 Article

 You have access
 Export citation
25  Acoustics and Optics
 from Part III  Dividing the Study of Nature

 Book: The Cambridge History of Science
 Published online: 28 March 2008
 Print publication: 03 July 2006, pp 596631

 Chapter
 Export citation
2002 Spring Meeting of the Association for Symbolic Logic
 Journal: Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
 Published online by Cambridge University Press: 15 January 2014, pp. 446451
 Print publication: September 2002

 Article
 Export citation
On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann
 from PART IV  PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT

 Book: Reflections on the Foundations of Mathematics
 Published online: 31 March 2017
 Print publication: 02 March 2002, pp 349371

 Chapter
 Export citation
Between Russell and Hilbert: Behmann on the Foundations of Mathematics
 Journal: Bulletin of Symbolic Logic / Volume 5 / Issue 3 / September 1999
 Published online by Cambridge University Press: 15 January 2014, pp. 303330
 Print publication: September 1999

 Article
 Export citation
David Rapport Lachterman. The Ethics of Geometry. A Genealogy of Modernity. New York and London: Routledge, 1989. Pp. xvi + 255. ISBN 0415900530. £25.00.
 Journal: The British Journal for the History of Science / Volume 23 / Issue 4 / December 1990
 Published online by Cambridge University Press: 05 January 2009, pp. 475477
 Print publication: December 1990

 Article
 Export citation