Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Provability in Logic.F. H. Fischer - 1957 - Journal of Symbolic Logic 23 (1):37-38.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (2 other versions)Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.
    Download  
     
    Export citation  
     
    Bookmark   45 citations