|
|
 |
| Результат поиска |
Поиск книг, содержащих: Heyting, A.
| Книга | Страницы для поиска | | Карпенко А.С. — Логики Лукасевича и простые числа | 51, 53 | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | 378 | | Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 9, 66, 378 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 8 | | Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures | 120, 126 | | Li M., Vitanyi P. — An introduction to Kolmogorov complexity and its applications | 156 | | Monk J.D. — Mathematical Logic | 5, 7 | | Kneale M. — Development of Logic | 574, 674, 677 ff. | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 4 | | Newman J.R. (ed.) — The World of Mathematics, Volume 4 | 1750, 1751 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 974, 977, 982, 995, 1070 | | Gentzen G. — The collected papers of Gerhard Gentzen | 3, 56, 58, 61, 65, 68, 69, 75, 81, 106, 117, 236, 249, 313, 315, 316 | | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 8, 9, 32, 185, 9, 191n, 192 | | Beth E.W. — The foundations of mathematics: A study in the philosophy of science | 196, 230, 423, 433ff., 461, 476, 616, 619, 673f. | | Curry H.B. — Foundations of Mathematical Logic | 9, 15, 26, 124, 183, 245, 248, 305—307 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | v, 215, 297, 303, 305, 308, 309, 414, 415, 612 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 65, 147, 341, 367, 401, 403, 404, 408, 441, 446, 448, 450, 457, 465, 467, 488, 544, 545, 636, 701, 721, 724, 726, 741, 751, 774, 780 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | 4 | | Elliott Mendelson — Introduction to mathematical logic | 4, 43 | | Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 9, 66, 378 | | Robinson A. — Introduction to model theory and to the metamathematics of algebra | 274 | | Krantz S. — Mathematical apocrypha redux | 181 | | Wilson R. — Mathematical conversations: selections from The mathematical intelligencer | 150 | | Curry H.B. — Foundations of mathematical logic | 9, 15, 26, 124, 183, 245, 248, 305—307 | | Лукомская А.М. — Основные иностранные библиографические источники по математике и механике 1931-1957 | 164, 165 | | Steen S. — Mathematical Logic | 9, 66, 378 | | Eves H. — Mathematical Circles Adieu | 232 |
|
|
|
|
О проекте