Categorical Logic And Type Theory

Categorical Logic And Type Theory

nipasẹ Bart Jacobs
4/5
(7 awọn ibo)
Atejade akọkọ
2001
Awọn olutẹwe
Elsevier Science & Technology
Ede
English

Awọn iwe

Awọn iwe ti o jọra