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  
  • A classification of logical systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    Download  
     
    Export citation  
     
    Bookmark   4 citations