The language of first-order logic
including the Macintosh program Tarski's world
Edición de la obra The language of first-order logic
| Autor | Barwise, Jon. |
|---|---|
| Editorial | Center for the Study of Language and Information |
| Fecha de publicación | 1991 |
| Lugar | Stanford, CA |
| Idioma | inglés |
| Páginas | 297 |
| ISBN-10 | 0937073741 |
| OCLC | 24502310 |
| LCCN | 91036151 |
| Serie | CSLI lecture notes ; · no. 23 |
| Número de Cutter |