|
|
 |
| Результат поиска |
Поиск книг, содержащих: Loewenheim — Skolem theorem
| Книга | Страницы для поиска | | Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics | 78, 304, 389 | | Manin Yu.I. — A Course in Mathematical Logic | 65 | | Yandell B. — The Honors Class: Hilbert's Problems and Their Solvers | 63—65, 67, 69, 77, 83 | | Monk J.D. — Mathematical Logic | 419, 478 | | Borceux F. — Handbook of Categorical Algebra 3 | II.278 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 71 | | Ebbinghaus H.-D., Flum J. — Finite Model Theory | 8 | | Monk J.D., Bonnet R. — Handbook Of Boolean Algebras Vol.3 | 988 | | Marcja A., Toffalori C. — A Guide to Classical and Modern Model Theory | 28, 85, 182, 226, 274, 275 | | Borceux F. — Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 278 | | Borceux F. — Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 278 | | Bouscaren E. — Model Theory and Algebraic Geometry | 12 | | Enderton H.B. — A Mathematical Introduction to Logic | 103, 151—155, 190 | | Kunen K. — Set theory | 31, 135, 156 | | Curry H.B. — Foundations of Mathematical Logic | 6—7, 95, 121 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 216 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 88, 134, 139, 175 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 88, 134, 139, 175 | | Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 94, 125 | | Comfort W.W., Negrepontis S. — The Theory of UltraFilters | 267 | | Curry H.B. — Foundations of mathematical logic | 6—7, 95, 121 | | Kunen K. — The Foundations of Mathematics | 89, 90, 107, 140 | | Shoenfield J.R. — Mathematical Logic | 79 | | Truss J.K. — Foundations of Mathematical Analysis | 112, 220, 304 | | Truss J. — Foundations of mathematical analysis | 112, 220, 304 | | J. K. Truss — Foundations of mathematical analysis MCet | 112, 220, 304 |
|
|
|
|
О проекте