Hyperproof
Edición de la obra Hyperproof
| Autor | Barwise, Jon. |
|---|---|
| Editorial | CSLI Publications |
| Fecha de publicación | 1994 |
| Lugar | Stanford, Calif |
| Idioma | inglés |
| Páginas | 255 |
| ISBN-10 | 1881526119 |
| OCLC | 28585593 |
| LCCN | 93030747 |
| Serie | CSLI lecture notes -- no. 42. |
| Número de Cutter | B296h |