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.  53
    Selected Works in Logic.Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  5.  50
    The Unsolvability of the Gödel Class with Identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
  6.  8
    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   6 citations  
  7. Logicism and Logical Truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8. 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  
  9. Ordinal Bounds for K-Consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
  10.  27
    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  
  11.  11
    Ecrits Logiques.Warren D. Goldfarb - 1970 - Philosophical Review 79 (4):576-578.
  12.  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)  
     
    Export citation  
     
    Bookmark  
  13.  39
    Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
  14.  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.
  15. The Goldfarb Panel.W. V. Quine, Warren D. Goldfarb, Martin Davies, Paul Horwich & Rudolf Fara - 1994 - Philosophy International.
     
    Export citation  
     
    Bookmark  
  16. 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  
  17.  39
    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.
  18.  31
    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 (9 more)  
     
    Export citation  
     
    Bookmark  
  19.  29
    Skolem Reduction Classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  20.  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)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  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  
  22.  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.
  23.  39
    On the Effective Ω‐Rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  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.  32
    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  
  26.  35
    On the Gödel Class with Identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.