Su búsqueda obtuvo 2 resultados.

Ordenar
Resultados
The Language of first-order logic : including the IBM-compatible windows version of Tarsk'is World 4.0 / Jon Barwise & John Etchemendy.

por Barwise, Jon | Etchemendy, John.

Series CSLI lecture notes ; 34.Edición: 3rd ed., rev. and expanded.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Stanford : Center for the Study of Language and Information, cop. 1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/BAR/lan.

Hyperproof / John Barwise & John Etchemendy.

por Barwise, John | Etchemendy, John.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Stanford, California : Center for the Study of Language and Information, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06HYP/BAR/hyp.

Páginas

Con tecnología Koha