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 |