The language of first-order logic
including the IBM-compatible Windows 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 | 1992 |
| Lugar | Stanford, CA |
| Idioma | inglés |
| Páginas | 319 |
| ISBN-10 | 0937073903 |
| OCLC | 26930867 |
| LCCN | 92038427 |
| Serie | CSLI lecture notes ; · no. 34 |
| Número de Cutter |