Language, proof, and logic
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Book |
| Language: | English |
| Published: |
Stanford, Calif.
CSLI Publications
2003
|
| Subjects: |
| Physical Description: | xi, 587 p. ill. 24 cm 1 cd-rom 1 LPL software manual |
|---|---|
| ISBN: | 157586374X |
