The Language of first-order logic : including the IBM-compatible windows version of Tarsk'is World 4.0 / Jon Barwise & John Etchemendy.
Tipo de material: TextoSeries CSLI lecture notes ; 34.Detalles de publicación: Stanford : Center for the Study of Language and Information, cop. 1992. Edición: 3rd ed., rev. and expanded.Descripción: XIV, 319 p. ; 24 cm + 1 disqueteISBN: 0-937073-90-3Tema(s): Lógica matemáticaTipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 510.6/BAR/lan (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3744048023 |
Total de reservas: 0
No hay comentarios en este titulo.