Language, proof, and logic
Edición de la obra Language, proof, and logic
| Autor | Dave Barker-Plummer |
|---|---|
| Editorial | CSLI Publications |
| Fecha de publicación | 2011 |
| Lugar | Stanford, Calif |
| Idioma | inglés |
| Páginas | 606 |
| ISBN-13 | 9781575866321 |
| OCLC | 726620713 |
| LCCN | 2011019703 |
| Número de Cutter | B255l |