|
|
 |
| Результат поиска |
Поиск книг, содержащих: Constant symbol
| Книга | Страницы для поиска | | van der Dries L. — Tame topology and O-minimal structures | 22 | | Kowalski R. — Logic for problem solving | 2, 6 | | Papadimitriou C.H. — Computational Complexity | 86 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | D1.1.1 | | Ebbinghaus H.-D., Flum J. — Finite Model Theory | 1 | | Gentzen G. — The collected papers of Gerhard Gentzen | 70, 111 | | Mikhlin S.G., Prossdorf S. — Singular Integral Operators | 273 | | Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 18 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 26 | | Clocksin W.F., Mellish C.S. — Programming in Prolog, using the ISO standard | 238 | | Truss J.K. — Foundations of Mathematical Analysis | 329, 330 | | Truss J. — Foundations of mathematical analysis | 329, 330 | | J. K. Truss — Foundations of mathematical analysis MCet | 329, 330 |
|
|
|
|
О проекте