Switch to: Citations

Add references

You must login to add references.
  1. Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.
    From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Identity and Existence in Intuitionistic Logic.Dana Scott, M. P. Fourman, C. J. Mulvey & D. S. Scott - 1985 - Journal of Symbolic Logic 50 (2):548-549.
    Download  
     
    Export citation  
     
    Bookmark   21 citations