Switch to: Citations

References in:

The road to two theorems of logic

Synthese 164 (3):333 - 339 (2008)

Add references

You must login to add references.
  1. (1 other version)Beth E. W.. On Padoa's method in the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 330–339; also Indagationes mathematicae, vol. 15 , pp. 330–339. [REVIEW]William Craig - 1956 - Journal of Symbolic Logic 21 (2):194-195.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Result on Consistency and Its Application to the Theory of Definition.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):174-174.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   718 citations  
  • Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (1 other version)On Padoa's Method in the Theory of Definition. [REVIEW]William Craig - 1956 - Journal of Symbolic Logic 21 (2):194-195.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • (2 other versions)Replacement of Auxiliary Expressions.Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (3):317-318.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Bases for first-order theories and subtheories.William Craig - 1960 - Journal of Symbolic Logic 25 (2):97-142.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • (1 other version)Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.William Craig - 1959 - Journal of Symbolic Logic 24 (3):243-244.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Replacement of Auxiliary Expressions.William Craig - 1956 - Philosophical Review 65 (1):38-55.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Recherches Sur la Th”Eorie de la D”Emonstration.J. Herbrand - 1930 - Dissertation, Universit’e de Paris
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7b7f6c6655-47mn7 uwo