- Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
Descriptions in Mathematical Logic.Gerard R. Renardel - 1984 - Studia Logica 43 (3):281-294.details
|
|
Set‐Theories as Algebras.Paul Fjelstad - 1968 - Mathematical Logic Quarterly 14 (25-29):383-411.details
|
|
Gödel's "slingshot" argument and his onto-theological system.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.details
|
|
Bibliography Patrick Suppes.Maria Sojka - 2016 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 47 (1):11-35.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
(1 other version)Some Observations on the Axiom of Choice.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (2):125-146.details
|
|
Bernays and set theory.Akihiro Kanamori - 2009 - Bulletin of Symbolic Logic 15 (1):43-69.details
|
|
Shallow Analysis and the Slingshot Argument.Michael Baumgartner - 2010 - Journal of Philosophical Logic 39 (5):531-556.details
|
|
Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.details
|
|
Philosophy, mathematics, science and computation.Enrique V. Kortright - 1994 - Topoi 13 (1):51-60.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Short definitions of the ordinals.Kenneth R. Brown & Hao Wang - 1966 - Journal of Symbolic Logic 31 (3):409-414.details
|
|
In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.details
|
|
A Reassessment of Cantorian Abstraction based on the $$\varepsilon $$ ε -operator.Nicola Bonatti - 2022 - Synthese 200 (5):1-26.details
|
|
(1 other version)The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences (2nd edition).Bhupinder Singh Anand - 2024 - Mumbai: DBA Publishing (Second Edition).details
|
|
(1 other version)The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
Causal Slingshots.Michael Baumgartner - 2010 - Erkenntnis 72 (1):111-133.details
|
|
Are the Barriers that Inhibit Mathematical Models of a Cyclic Universe, which Admits Broken Symmetries, Dark Energy, and an Expanding Multiverse, Illusory?Bhupinder Singh Anand - manuscriptdetails
|
|
(1 other version)Zu Welchen Philosophischen Fragen Führen Neuere Forschungsergebnisse der Naturwissenschaft Heute?Paul Weingartner - 1997 - Kriterion - Journal of Philosophy 12 (1):3-23.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
(1 other version)Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (1):57-70.details
|
|