Logic for applications /

Zapisane w:
Opis bibliograficzny
1. autor: Nerode, Anil (autor)
Kolejni autorzy: Shore, Richard A. (autor)
Format: Książka
Język:angielski
Wydane: Nueva York, EUA : Springer, 1997, c1997
Wydanie:2a edición
Seria:(Graduate Texts in Computer Science)
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Szczegóły zapisu IT1
Sygnatura:
005. 131 NER
Ejemplar 0500009829
Disponible
Préstamo 7 días a 90
Kolekcja:
Colección General
Komentarze:
Ubicar en Nivel 1 Área de Colección General