|
|
 |
| Результат поиска |
Поиск книг, содержащих: Relation symbol
| Книга | Страницы для поиска | | van der Dries L. — Tame topology and O-minimal structures | 22 | | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 13 | | Lavendhomme R. — Basic Concepts of Synthetic Differential Geometry | 270 | | Tarski A. — Undecidable theories | see: Predicate | | Zimand M. — Computational Complexity: A Quantitative Perspective | 231 | | Papadimitriou C.H. — Computational Complexity | 86 | | Monk J.D. — Mathematical Logic | 162 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | D1.1.1, D4.1.1 | | Ebbinghaus H.-D., Flum J. — Finite Model Theory | 1 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 77 | | Fried M.D., Jarden M. — Field Arithmetic | 132 | | Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 118 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 26 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 13 | | Truss J.K. — Foundations of Mathematical Analysis | 329 | | Truss J. — Foundations of mathematical analysis | 329 | | J. K. Truss — Foundations of mathematical analysis MCet | 329 |
|
|
|
|
О проекте