|
|
 |
| Результат поиска |
Поиск книг, содержащих: Goedel number
| Книга | Страницы для поиска | | Chagrov A., Zakharyaschev M. — Modal logic | 94 | | Simpson S.G. — Mathematical Logic | 67 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 155 | | Newman J.R. (ed.) — The World of Mathematics, Volume 4 | 1688—1692 | | Neumann J.V. — Theory of Self-Reproducing Automata | 55 | | Dewdney A.K. — Beyond reason. 8 great problems that reveal the limits of science | 155—158 | | Salomaa A. — Computation and automata | 84 | | Hinman P.G. — Fundamentals of Mathematical Logic | 353, 410 | | Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics | 418 | | Curry H.B. — Foundations of Mathematical Logic | 58 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 92, 114 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 156 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 156 | | Elliott Mendelson — Introduction to mathematical logic | 151—152, 235 | | Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 173 | | Curry H.B. — Foundations of mathematical logic | 58 | | Kunen K. — The Foundations of Mathematics | 176, 198 | | Nievergelt J., Farrar J.C., Reingold E.M. — Computer approaches to mathematical problems | 237 | | Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 91, 92 |
|
|
|
|
О проекте