Categorical logic and type theory

Categorical logic and type theory

විසින් Bart Jacobs
4/5
(7 ඡන්ද)
ආකෘතිය
760 පිටු
මුලින්ම ප්රකාශයට පත් කරන ලදී
1999
ප්‍රකාශකයන්
Elsevier Science

පොත්

සමාන පොත්