|
|
 |
| Результат поиска |
Поиск книг, содержащих: Effective procedure
| Книга | Страницы для поиска | | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 146 | | Monk J.D. — Mathematical Logic | 11 | | Schank R.C. — Computer models of thought and language | 255, 257 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 528f | | Marcja A., Toffalori C. — A Guide to Classical and Modern Model Theory | 40, 44, 79 | | Sharkey N.E. — Advances in cognitive science 1 | 205 | | Ginsburg S. — The mathematical theory of context-free languages | 115, 230 | | Ginsburg S. — The mathematical theory of context-free languages | 115 | | Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | see Algorithm | | Salomaa A. — Computation and automata | 1 | | Hinman P.G. — Fundamentals of Mathematical Logic | 54 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 146 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 146 | | Jones N.D. — Computability and complexity from a programming perspective | 3 | | Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | 7 | | Truss J.K. — Foundations of Mathematical Analysis | 12 | | Truss J. — Foundations of mathematical analysis | 12 | | J. K. Truss — Foundations of mathematical analysis MCet | 12 |
|
|
|
|
О проекте