|
|
 |
| Результат поиска |
Поиск книг, содержащих: Internal language
| Книга | Страницы для поиска | | Lightstone A.H., Robinson A. — Nonarchimedean Fields and Asymptotic Expansions | 42 | | Sketches — A supplement for Category theory for computing science | 64 | | Pierce B.C. — Basic category theory for computer scientists | 55 | | Jacobs B. — Categorical Logic and Type Theory | 5, 8, 188, 251, 374, 409 | | Johnstone P.T. — Sketches of an Elephant: A Topos Theory Compendium | D1.3.11, D4.1.8 | | Hazewinkel M. — Handbook of Algebra (part 2) | 14, 38 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 41, 48, 95 |
|
|
|
|
О проекте