|
|
 |
| Результат поиска |
Поиск книг, содержащих: Universal quantification
| Книга | Страницы для поиска | | van der Dries L. — Tame topology and O-minimal structures | 12 | | Takeuti G., Zaring W.M. — Introduction to Axiomatic Set Theory | 4 | | Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 49 | | 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, 569—572 | | Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13) | 87 | | Smullyan R.M. — Recursion Theory for Metamathematics | 26 | | Copi I.M., Cohen C. — Introduction to logic | 328, 329 | | Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 49 | | Gries D. — The science of programming | 73 | | Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 39 | | 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 | 98 |
|
|
|
|
О проекте