|
|
 |
| Результат поиска |
Поиск книг, содержащих: van Benthem, J.
| Книга | Страницы для поиска | | Jurafsky D., Martin J.H. — Speech and Language Processing | 539 | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | 33 | | Wolter F., Wansing H., Вe Rijke M. — Advances in modal logic (vol.3) | 155, 233, 300, 332 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 44, 46, 49, 53, 61 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 546 |
|
|
|
|
О проекте