Proofs and computations /
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Ithaca, NY.:
Association for Symbolic Logic,
c2012
|
| Σειρά: | Perspectives in logic
|
| Θέματα: |
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Ithaca, NY.:
Association for Symbolic Logic,
c2012
|
| Σειρά: | Perspectives in logic
|
| Θέματα: |