| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 15 |      | Warren D. Goldfarb: On Gödel's way in: the influence of Rudolf Carnap. Bulletin of Symbolic Logic 11(2): 185-193 (2005) |
| 2001 | ||
| 14 | | Warren D. Goldfarb: First-Order Frege Theory is Undecidable. J. Philosophical Logic 30(6): 613-616 (2001) |
| 1993 | ||
| 13 | | Warren D. Goldfarb: Random Models and Solvable Skolem Classes. J. Symb. Log. 58(3): 908-914 (1993) |
| 1990 | ||
| 12 | | Zachari Gleit, Warren D. Goldfarb: Characters and Fixed Points in Provability Logic. Notre Dame Journal of Formal Logic 31(1): 26-36 (1990) |
| 1989 | ||
| 11 | | Warren D. Goldfarb: Random Models and the Maslov Class. J. Symb. Log. 54(2): 460-466 (1989) |
| 1984 | ||
| 10 |  | Warren D. Goldfarb: The Unsolvability of the Godel Class with Identity. J. Symb. Log. 49(4): 1237-1252 (1984) |
| 9 | | Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah: A Decidable Subclass of the Minimal Godel Class with Identity. J. Symb. Log. 49(4): 1253-1261 (1984) |
| 1981 | ||
| 8 | | Warren D. Goldfarb: On the Godel Class with Identity. J. Symb. Log. 46(2): 354-364 (1981) |
| 7 | | Warren D. Goldfarb: The Undecidability of the Second-Order Unification Problem. Theor. Comput. Sci. 13: 225-230 (1981) |
| 1979 | ||
| 6 | | Warren D. Goldfarb: Logic in the Twenties: The Nature of the Quantifier. J. Symb. Log. 44(3): 351-368 (1979) |
| 1975 | ||
| 5 | | Warren D. Goldfarb, Harry R. Lewis: Skolem Reduction Classes. J. Symb. Log. 40(1): 62-68 (1975) |
| 1974 | ||
| 4 | | Stål Aanderaa, Warren D. Goldfarb: The Finite Controllability of the Maslov Case. J. Symb. Log. 39(3): 509-518 (1974) |
| 3 | | Warren D. Goldfarb, T. M. Scanlon: The omega-Consistency of Number Theory Via Herbrand's Theorem. J. Symb. Log. 39(4): 678-692 (1974) |
| 2 | | Warren D. Goldfarb: Ordinal Bounds for k-Consistency. J. Symb. Log. 39(4): 693-699 (1974) |
| 1973 | ||
| 1 | | Harry R. Lewis, Warren D. Goldfarb: The Decision Problem for Formulas with a Small Number of Atomic Subformulas. J. Symb. Log. 38(3): 471-480 (1973) |
| 1 | Stål Aanderaa | [4] |
| 2 | Zachari Gleit | [12] |
| 3 | Yuri Gurevich | [9] |
| 4 | Harry R. Lewis | [1] [5] |
| 5 | T. M. Scanlon | [3] |
| 6 | Saharon Shelah | [9] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page