ENGLISH

First Order Logic with Dependent Sorts, with Applications to Category Theory (Unpublished manuscript)

By Michael , Makkai

Book information

Year
1995
Language
english
Format
PDF
Filesize
2 MB (1787243 bytes)
Pages
\201
Topic
Mathematics Logic
Time added
2024-05-30 10:07:11

Similar books