|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Hilbert's Tenth Problem
| Книга | Страницы для поиска | | Kedlaya K.S., Poonen B., Vakil R. - The William Lowell Putnam Mathematical Competition 1985-2000: Problems, Solutions, and Commentary | 96 | | Hein J.L. - Discrete Structures, Logic, and Computability | 744 | | Barwise J. (ed.) - Handbook of Mathematical Logic | 568, 584f | | Hein J.L. - Theory of Computation: An Introduction | 431 | | Kaye R. - Models of Peano Arithmetic | 88, 267 (see also MRDP theorem) | | Peterson J.L. - Petri net theory and the modeling of systems | 133-136 | | Baker A. - A Concise Introduction to the Theory of Numbers | 5, 7, 77 |
|
|
|
|
|
О проекте