Language, proof, and logic
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Stanford, Calif.
CSLI Publications
2003
|
| Θέματα: |
| Φυσική περιγραφή: | xi, 587 p. ill. 24 cm 1 cd-rom 1 LPL software manual |
|---|---|
| ISBN: | 157586374X |
