Language, proof, and logic
Edición de la obra Language, proof, and logic
| Autor | Barwise, Jon., Jon Barwise |
|---|---|
| Editorial | CSLI Publications |
| Fecha de publicación | 2002 |
| Lugar | Stanford, Calif |
| Idioma | inglés |
| Páginas | 587 |
| ISBN-10 | 1889119083 |
| LCCN | 99041113 |
| Número de Cutter | B296l |