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 |