Language, proof, and logic
- Författare
- Dave Barker-Plummer
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| CSLI Publications | 2011 | USA, Stanford, Calif | xiii, 606 sidor. 1 CD-ROM + LPL software manual (viii, 61 pages : illustrations 22 cm) | 978-1-57586-632-1 |
| CSLI Publications | cop. 2002 | USA, Stanford, Calif | xi, 587 sidor. 24 cm. 1 CD-ROM (4 3/4 in.) + LPL software manual (v, 52 sidor. : ill. 22 cm.) | |
| Seven Bridges | 2000 | USA, New York | 587 sidor. | 1-889119-08-3 |