|
|
 |
| Результат поиска |
Поиск книг, содержащих: Boolos, G.
| Книга | Страницы для поиска | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | 67,408n2 | | Wolter F., Wansing H., Вe Rijke M. — Advances in modal logic (vol.3) | 1 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 51, 75 | | Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures | 71, 73—77, 193; | | Savitch W.J., Marsh W., Bach M. (eds.) — Formal Complexity of Natural Language | 348 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 642, 644, 649, 668, 671 | | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 137, 8 | | Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse | 143 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 113, 122, 143, 475—477, 485, 487, 488, 490, 494, 495, 532, 533, 542 | | Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 18, 33, 56, 168 |
|
|
|
|
О проекте