Resources

Mathematical Logic

   Course Outline
   Lectures
   Tutorials
   Assessments
   Marks
   Home


 

 

Books 

 

The following books are on High Use reserve in the Physical Sciences and Engineering Library

 

René Cori and Daniel Lascar ;translated by Donald H. Pelletier, Mathematical logic : a course with exercises : QA9 .C742513 2001  pt.2  

Herbert B. Enderton, A mathematical introduction to logic: QA9 .E54 1972

Joseph Robert Shoenfield, Mathematical logic:  QA9 .S52 1967

Robert Rogers, Mathematical logic and formalized theories:  QA9 .M4 1964

Elliott Mendelson, Introduction to mathematical logic:  QA9 .M4 1964 

 

 

.