Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 41
Volume 41, Number 1, 2000
- Lloyd Humberstone:
An Intriguing Logic with Two Implicational Connectives. 1-40 - Stephanie Cawthorne, David W. Kueker:
Essential Forcing Generics. 41-52 - Hilary Putnam:
Nonstandard Models and Kripke's Proof of the Gödel Theorem. 53-58 - Jaroslaw Pykacz:
New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions. 59-76 - Robert Charles Koons:
Book Review: Scott Soames. Understanding Truth. 77-94
Volume 41, Number 2, 2000
- Wayne Wobcke:
An Information-Based Theory of Conditionals. 95-141 - Toshio Suzuki:
Complexity of the r-query Tautologies in the Presence of a Generic Oracle. 142-151 - David Bennett:
A Single Axiom for Set Theory. 152-170 - Giorgi Japaridze:
The Propositional Logic of Elementary Tasks. 171-183
Volume 41, Number 3, 2000
- Michael Detlefsen:
Introduction to Logicism and the Paradoxes: A Reappraisal. 185 - Richard G. Heck Jr.:
Cardinality, Counting, and Equinumerosity. 187-209 - William Demopoulos:
On the Origin and Status of our Conception of Number. 210-226 - Patricia A. Blanchette:
Realism and Paradox. 227-241 - Aldo Antonelli, Robert May:
Frege's New Science. 242-270 - Jamie Tappenden:
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? 271-315
Volume 41, Number 4, 2000
- Crispin Wright:
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint. 317-334 - Stewart Shapiro:
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. 335-364 - David Charles McCarty:
Optics of Thought: Logic and Vision in Müller, Helmholtz, and Frege. 365-378 - Bob Hale:
Abstraction and Set Theory. 379-398 - W. D. Hart:
Skolem Redux. 399-414 - Timothy Bays:
The Fruits of Logicism. 415-421
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-20 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
