Switch to: Citations

Add references

You must login to add references.
  1. Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • (1 other version)Representations of calculi.Frederic B. Fitch - 1944 - Journal of Symbolic Logic 9 (3):57-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)A basic logic.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):105-114.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)A Basic Logic.Frederic B. Fitch - 1943 - Journal of Symbolic Logic 8 (1):30-30.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)An Extension of Basic Logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):68-69.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Representations of Calculi.Frederic B. Fitch - 1946 - Journal of Symbolic Logic 11 (1):28-29.
    Download  
     
    Export citation  
     
    Bookmark   4 citations