Categorical logic and type theory /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Έκδοση: |
Amsterdam:
Elsevier Science,
2001, c1999
|
| Σειρά: | Studies in logic and the foundations of mathematics ; ;
v. 141 |
| Θέματα: |