|
|
 |
| Результат поиска |
Поиск книг, содержащих: Proof theory
| Книга | Страницы для поиска | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 156.D | | Devlin K.J. — Language of Mathematics: Making the Invisible Visible | 84 | | Leng M. (ed.), Paseau A. (ed.), Potter M. (ed.) — Mathematical Knowledge | 19, 93, 94 note, 98, 100—102, 107 | | Yandell B. — The Honors Class: Hilbert's Problems and Their Solvers | 50 | | Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel | See Hilbert, David | | Kowalski R. — Logic for problem solving | 71 | | Ito K. — Encyclopedic Dictionary of Mathematics | 156.D | | Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13) | 60 | | Hazewinkel M. — Handbook of Algebra (part 2) | 5, 27, 28, 40 | | Ramsay A. — Formal Methods in Artificial Intelligence | 4 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 123 | | Gentzen G. — The collected papers of Gerhard Gentzen | 137, 138, 144, 200, 211, 222, 227, 228 | | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 161n, 187, 253, 4 | | Audichya A. — Mathematics: Marvels and milestones | 48 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 7, 39, 56 | | Lane S.M. — Mathematics, form and function | 379 | | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 47 |
|
|
|
|
О проекте