Switch to: Citations

Add references

You must login to add references.
  1. Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  • Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
  • Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations