|
|
 |
| Результат поиска |
Поиск книг, содержащих: Curry, H.
| Книга | Страницы для поиска | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 269 | | Карпенко А.С. — Логики Лукасевича и простые числа | 43, 102 | | Buss S.R. — 3-D computer graphics. A mathematical introduction with openGL | 200 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 35, 80 | | Monk J.D. — Mathematical Logic | 69, 75 | | Kneale M. — Development of Logic | 522 n. | | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 168, 70, 188n | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 206 |
|
|
|
|
О проекте