Algebra of proofs /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Amsterdam ;
North-Holland,
1978.
|
| Σειρά: | Studies in logic and the foundations of mathematics
|
| Θέματα: |
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Amsterdam ;
North-Holland,
1978.
|
| Σειρά: | Studies in logic and the foundations of mathematics
|
| Θέματα: |
