Mathematical logic
| מחבר: Author: Автор: مؤلف: | Ebbinghaus, Flum, Thomas |
| Sysno. in the library: 0030173 | |
Logic of mathematics : a modern course of classical logic
| מחבר: Author: Автор: مؤلف: | Zofia Adamowicz, Pawel Zbierski |
| Library sysno 2209358 | |
A Mathematical Introduction to Logic
| מחבר: Author: Автор: مؤلف: | Herbert Enderton |
| Mostly useful for Predicate calculus | |
Introduction to Mathematical Logic
| מחבר: Author: Автор: مؤلف: | Mendelson, Elliott |
| Most useful for Propositional calculus | |
Mathematical Logic
| מחבר: Author: Автор: مؤلف: | Joseph Shoenfield |
| Survey of MATHEMATICAL Logic (hard but excellent) | |
Set theory : an introduction
| מחבר: Author: Автор: مؤلف: | Robert L. Vaught |
| הערות: Notes: Примечания: ملاحظات: | Library sysno 2170094 |
Naive set theory
| מחבר: Author: Автор: مؤلف: | Paul R. Halmos |
| Library Sysno: 2032604 | |
Notes on set theory
| מחבר: Author: Автор: مؤلف: | Yiannis N. Moschovakis |
| Library Sysno: 2164173 | |
Introduction to Mathematical Logic - Miller
| http://www.math.wisc.edu/~miller/old/m771-98/logintro.pdf |