Truth, proof and infinity : a theory of constructions and constructive reasoning /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Dordrecht :
Kluwer Academic Publishers,
c1998
|
| Σειρά: | Synthese library ; ;
Volume 276 |
| Θέματα: |