- Mechanisms, principles, and Lorentz's cautious realism.Mathias Frisch - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (4):659-679.details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
Evolution of mathematical thought.Herbert Meschkowski - 1965 - San Francisco,: Holden-Day.details
|
|
Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.details
|
|
Is There Completeness in Mathematics after Gödel?Jaakko Hintikka - 1989 - Philosophical Topics 17 (2):69-90.details
|
|
Is There Completeness in Mathematics after Gödel?Jaakko Hintikka - 1989 - Philosophical Topics 17 (2):69-90.details
|
|
Mechanisms, principles, and Lorentz's cautious realism.Mathias Frisch - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (4):659-679.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
Mathematical intuition vs. mathematical monsters.Solomon Feferman - 2000 - Synthese 125 (3):317-332.details
|
|
Fundamental features of contemporary theory of science.Evert W. Beth - 1950 - British Journal for the Philosophy of Science 1 (4):291-302.details
|
|
Le raisonnement par l'absurde.Jean-Louis Gardies - 1991 - Paris: Presses universitaires de France.details
|
|
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.details
|
|
Pluralism in Logic: The Square of Opposition, Leibniz'Principle of Sufficient Reason and Markov's Principle.Antonino Drago - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 175--189.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Storia della logica.C. Mangione - 1972 - Scientia 66:27.details
|
|
Mathematical Thought from Ancient to Modern Times.M. Kline - 1978 - British Journal for the Philosophy of Science 29 (1):68-87.details
|
|
Réflexions sur la métaphysique du calculinfinitésimal.Lazare Carnot, M. Marcel Mayot & A. Blanchard - 1972 - Revue de Métaphysique et de Morale 77 (4):532-533.details
|
|
A survey of some connections between classical, intuitionistic and minimal logic.D. Prawitz & P.-E. Malmnäs - 1968 - In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966. North-Holland Publishing Company. pp. 215–229.details
|
|