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