Link to CS Library | |
| קישור: Link: Ссылка: وصلة: | http://www.cs.technion.ac.il/library/catalog_winter_2014_15.html#234293 |
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 | |