• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2000
• 
  Aldo Antonelli, Robert May:
  Frege's New Science. Notre Dame J. Formal Log. 41(3): 242-270 (2000)
• 
  Timothy Bays:
  The Fruits of Logicism. Notre Dame J. Formal Log. 41(4): 415-421 (2000)
• 
  David Bennett:
  A Single Axiom for Set Theory. Notre Dame J. Formal Log. 41(2): 152-170 (2000)
• 
  Patricia A. Blanchette:
  Realism and Paradox. Notre Dame J. Formal Log. 41(3): 227-241 (2000)
• 
  Stephanie Cawthorne, David W. Kueker:
  Essential Forcing Generics. Notre Dame J. Formal Log. 41(1): 41-52 (2000)
• 
  William Demopoulos:
  On the Origin and Status of our Conception of Number. Notre Dame J. Formal Log. 41(3): 210-226 (2000)
• 
  Michael Detlefsen:
  Introduction to Logicism and the Paradoxes: A Reappraisal. Notre Dame J. Formal Log. 41(3): 185 (2000)
• 
  Bob Hale:
  Abstraction and Set Theory. Notre Dame J. Formal Log. 41(4): 379-398 (2000)
• 
  W. D. Hart:
  Skolem Redux. Notre Dame J. Formal Log. 41(4): 399-414 (2000)
• 
  Richard G. Heck Jr.:
  Cardinality, Counting, and Equinumerosity. Notre Dame J. Formal Log. 41(3): 187-209 (2000)
• 
  Lloyd Humberstone:
  An Intriguing Logic with Two Implicational Connectives. Notre Dame J. Formal Log. 41(1): 1-40 (2000)
• 
  Giorgi Japaridze:
  The Propositional Logic of Elementary Tasks. Notre Dame J. Formal Log. 41(2): 171-183 (2000)
• 
  Robert Charles Koons:
  Book Review: Scott Soames. Understanding Truth. Notre Dame J. Formal Log. 41(1): 77-94 (2000)
• 
  David Charles McCarty:
  Optics of Thought: Logic and Vision in Müller, Helmholtz, and Frege. Notre Dame J. Formal Log. 41(4): 365-378 (2000)
• 
  Hilary Putnam:
  Nonstandard Models and Kripke's Proof of the Gödel Theorem. Notre Dame J. Formal Log. 41(1): 53-58 (2000)
• 
  Jaroslaw Pykacz:
  New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions. Notre Dame J. Formal Log. 41(1): 59-76 (2000)
• 
  Stewart Shapiro:
  Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame J. Formal Log. 41(4): 335-364 (2000)
• 
  Toshio Suzuki:
  Complexity of the r-query Tautologies in the Presence of a Generic Oracle. Notre Dame J. Formal Log. 41(2): 142-151 (2000)
• 
  Jamie Tappenden:
  Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? Notre Dame J. Formal Log. 41(3): 271-315 (2000)
• 
  Wayne Wobcke:
  An Information-Based Theory of Conditionals. Notre Dame J. Formal Log. 41(2): 95-141 (2000)
• 
  Crispin Wright:
  Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint. Notre Dame J. Formal Log. 41(4): 317-334 (2000)