|
|
 |
| Результат поиска |
Поиск книг, содержащих: Feys, R.
| Книга | Страницы для поиска | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 387 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 5, 9 | | Kneale M. — Development of Logic | 522 n. | | Stenlund S. — Combinators, λ-Terms and Proof Theory | 15, 16, 21, 33, 36, 37, 39, 40, 45, 46, 51, 68, 71, 72, 73, 83, 108, 150, 151 | | Curry H.B. — Foundations of Mathematical Logic | 19, 25, 243, 306, 368, see also "Curry and Feys" | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 727, 776 | | Curry H.B. — Foundations of mathematical logic | 19, 25, 243, 306, 368, see also "Curry and Feys" | | Лукомская А.М. — Основные иностранные библиографические источники по математике и механике 1931-1957 | 159, 160 |
|
|
|
|
О проекте