|
|
 |
| Результат поиска |
Поиск книг, содержащих: Existential quantification
| Книга | Страницы для поиска | | van der Dries L. — Tame topology and O-minimal structures | 11 | | Takeuti G., Zaring W.M. — Introduction to Axiomatic Set Theory | 4 | | Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 50 | | Jacobs B. — Categorical Logic and Type Theory | 223 | | Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving | 56—58, 61—63, 318—319, 361—362, 570—571, 585—586 | | Smullyan R.M. — Recursion Theory for Metamathematics | 26 | | Loomis L.H., Sternberg S. — Advanced calculus | 2 | | Curry H.B. — Foundations of Mathematical Logic | 323 | | Covington M.A., Nute D., Vellino A. — Prolog programming in depth | 156, 452 | | Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 50 | | Curry H.B. — Foundations of mathematical logic | 323 | | Gries D. — The science of programming | 71 | | Abramsky S., Barwise J., Fine K. — Recursive Functionals. Studies in Logic and the Foundations of Mathematics Volume 131 | 19 | | Bird R., de Moor O. — Algebra of programming | 102 |
|
|
|
|
О проекте