|
|
 |
| Результат поиска |
Поиск книг, содержащих: 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 |
|
|
|
|
О проекте