The Language of first-order logic including the Macintosh TM program Tarski's World

Detalles Bibliográficos
Autor principal: Barwise, Jon (-)
Otros Autores: Etchemendy, John
Formato: Libro
Idioma:Inglés
Publicado: Menlo Park : Center for the Study of Language and Information cop. 1993
Edición:3rd ed. revised and expanded
Colección:CSLI lecture notes ; 23
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991001749319706719
Descripción
Descripción Física:XIV, 319 p. ; 24 cm + 1 disquet
Bibliografía:Índex
ISBN:9780937073995