Logical frameworks for truth and abstraction : : an axiomatic study /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Amsterdam :
Elsevier Science B.V.,
c1996
|
| Σειρά: | Studies in logic and the foundations of mathematics ;
; v. 135 |
| Θέματα: |