26 found
Order:
  1. Logic in the Twenties: The Nature of the Quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
  2. I Want You to Bring Me a Slab: Remarks on the Opening Sections of the Philosophical Investigations.Warren D. Goldfarb - 1983 - Synthese 56 (3):265 - 282.
  3. Kripke on Wittgenstein on Rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
  4.  51
    Selected Works in Logic.Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  5.  45
    The Unsolvability of the Gödel Class with Identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  6.  4
    Deductive Logic.Warren D. Goldfarb - 2003 - Indianapolis, IN, USA: Hackett Publishing Company.
    This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Logicism and Logical Truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  11
    Ecrits Logiques.Warren D. Goldfarb - 1970 - Philosophical Review 79 (4):576-578.
  9. The Finite Controllability of the Maslov Case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  38
    Hubert C. Kennedy, Biographical Sketch of Giuseppe Peano. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, Pp. 3–10. - Hubert C. Kennedy. Chronological List of the Publications of Giuseppe Peano. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, Pp. 11–29. - Hubert C. Kennedy. Bibliography on the Life and Works of Giuseppe Peano. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, Pp. 30–33. - Giuseppe Peano. The Operations of Deductive Logic. English Translation of Introductory Chapter of 711. Selected Works of Giuseppe Peano, Translated and Edited with a Biographical Sketch and Bibliography by Hubert C. Kennedy, U. [REVIEW]Warren D. Goldfarb - 1980 - Journal of Symbolic Logic 45 (1):177-180.
  11.  26
    Jean-Pierre Bénéjam. Application du Théorème de Herbrand À la Présentation de Thèses Tératologiques du Calcul des Prédicats Élémentaire. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Ser. A Vol. 268 , Pp. 757–760. - Roland Fraïssé. Réflexions Sur la Complétude Selon Herbrand. International Logic Review-Rassegna Internazionale di Logica , Vol. 3 No. 1 , Pp. 86–98. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12.  38
    On the Effective Ω‐Rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  35
    On the Gödel Class with Identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
  14.  31
    The Decision Problem for Formulas with a Small Number of Atomic Subformulas.Harry R. Lewis & Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):471-480.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  29
    A Decidable Subclass of the Minimal Gödel Class with Identity.Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1253-1261.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  16.  31
    Craig W.. Analysis of First-Order Implications. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  17.  26
    George S. Boolos. A Proof of the Löwenheim-Skolem Theorem. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 76–78.Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  37
    Klaua Dieter. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe. Zeitsckrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 264–270. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Symbolic Logic 36 (1):168-168.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Ordinal Bounds for K-Consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  20.  19
    Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  21.  12
    Review: Jean-Pierre Benejam, Application du Theoreme de Herbrand a la Presentation de Theses Teratologiques du Calcul des Predicats Elementaire; Roland Fraisse, Reflexions Sur la Completude Selon Herbrand. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
  22.  14
    Review: W. Craig, Analysis of First-Order Implications. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  28
    Skolem Reduction Classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  24. Écrits Logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  25. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  26. The Goldfarb Panel.W. V. Quine, Warren D. Goldfarb, Martin Davies, Paul Horwich & Rudolf Fara - 1994 - Philosophy International.
     
    Export citation  
     
    Bookmark