
The language of first-order logic
including the Mackintosh version of Tarski's world 4.0
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 | 1993 |
| Lugar | Stanford, Calif |
| Idioma | inglés |
| Páginas | 313 |
| ISBN-10 | 0937073997 |
| LCCN | 93000419 |
| Serie | CSLI lecture notes ; · no. 23 |
| Número de Cutter | B296l |