The language of first-order logic : Jon Barwise, John Etchemendy. ncluding the IBM-compatible Windows version of Tarski's world 4.0 /
Series CSLI Lecture notes ; no. 34Detalles de publicación: Stanford : Centre for the study of language and information, 1992.Edición: 3a. ed. rev. and aumDescripción: xiv, 319 p. ; 23 cmISBN:- 0-937073-90-3(pbk)
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Matemática | M 03 B296 | Disponible | 11799 |
Total de reservas: 0
Con diskette