19 found
Sort by:
  1. Victor Harnik, Terrence S. Millar, Michael L. Wage, Saharon Shelah, Helmut Schwichtenberg, Daniel Lascar, Bruno Poizat, Warren D. Goldfarb, On Carnap & Hugues Leblanc (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 309 (318).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Warren D. Goldfarb (1984). The Unsolvability of the Gödel Class with Identity. Journal of Symbolic Logic 49 (4):1237-1252.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah (1984). A Decidable Subclass of the Minimal Gödel Class with Identity. Journal of Symbolic Logic 49 (4):1253-1261.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Warren D. Goldfarb (1983). I Want You to Bring Me a Slab: Remarks on the Opening Sections of the Philosophical Investigations. Synthese 56 (3):265 - 282.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Warren D. Goldfarb (1982). Kripke on Wittgenstein on Rules. Journal of Philosophy 79 (September):471-488.
  6. Warren D. Goldfarb (1982). Logicism and Logical Truth. Journal of Philosophy 79 (11):692-695.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Warren D. Goldfarb (1981). On the Gödel Class with Identity. Journal of Symbolic Logic 46 (2):354-364.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Warren D. Goldfarb (1980). Review: Hubert C. Kennedy, Giuseppe Peano, Selected Works of Giuseppe Peano. [REVIEW] Journal of Symbolic Logic 45 (1):177-180.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Warren D. Goldfarb (1979). Logic in the Twenties: The Nature of the Quantifier. Journal of Symbolic Logic 44 (3):351-368.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Warren D. Goldfarb (1975). On the Effective Ω‐Rule. Mathematical Logic Quarterly 21 (1):409-412.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Warren D. Goldfarb (1975). 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] Journal of Symbolic Logic 40 (2):238-239.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Warren D. Goldfarb & Harry R. Lewis (1975). Skolem Reduction Classes. Journal of Symbolic Logic 40 (1):62-68.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Harry R. Lewis & Warren D. Goldfarb (1975). Skolem Reduction Classes. Journal of Symbolic Logic 40 (March):62-68.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Stål Aanderaa & Warren D. Goldfarb (1974). The Finite Controllability of the Maslov Case. Journal of Symbolic Logic 39 (3):509-518.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Warren D. Goldfarb (1974). Ordinal Bounds for K-Consistency. Journal of Symbolic Logic 39 (4):693-699.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Warren D. Goldfarb (1973). Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW] Journal of Symbolic Logic 38 (3):519-519.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Warren D. Goldfarb (1973). Review: W. Craig, Analysis of First-Order Implications. [REVIEW] Journal of Symbolic Logic 38 (3):519-519.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Harry R. Lewis & Warren D. Goldfarb (1973). The Decision Problem for Formulas with a Small Number of Atomic Subformulas. Journal of Symbolic Logic 38 (3):471-480.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Warren D. Goldfarb (1971). Review: Dieter Klaua, Systematische Behandlung der Losbaren Falle des Entscheidungsproblems fur den Pradikatenkalkul der Ersten Stufe. [REVIEW] Journal of Symbolic Logic 36 (1):168-168.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation