Switch to: References

Citations of:

Combinators, 2-terms and proof theory

Dordrecht,: D. Reidel (1972)

Add citations

You must login to add citations.
  1. An interpretation of classical proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)A Free‐Variable Theory of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):147-157.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Prelogic of logoi.Marcel Crabbé - 1976 - Studia Logica 35 (3):219 - 226.
    Download  
     
    Export citation  
     
    Bookmark