"Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame J.Formal Logic 34, p471, 1993)(600dpi)(T)(28s)_MAml_.djvu" - читать интересную книгу автора
| © 2024 Библиотека RealLib.org (support [a t] reallib.org) |
"Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame J.Formal Logic 34, p471, 1993)(600dpi)(T)(28s)_MAml_.djvu" - читать интересную книгу автора |
|
|