Switch to: Citations

Add references

You must login to add references.
  1. (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  
  • (1 other version)Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
    Download  
     
    Export citation  
     
    Bookmark   117 citations