Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska.
By: Ben-Ari, Mordechai.
Contributor(s): Miłkowska, Mirosława [Tł.] | Wydawnictwa Naukowo-Techniczne [Wydawca].
Material type: BookSeries: Klasyka Informatyki: Publisher: Warszawa : Wydawnictwa Naukowo-Techniczne, 2006Edition: Wyd. 2.Description: XIII, [1], 343, [1] s. : il. ; 24 cm.ISBN: 8320432219.Uniform titles: Mathematical logic for computer science (pol.) Subject(s): Logika symboliczna i matematyczna -- podręczniki akademickie | Informatyka -- matematyka -- podręczniki akademickieItem type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Książka | Biblioteka UKSW - Dewajtis Magazyn I - Dewajtis | Biblioteka UKSW - Dewajtis | 342848 | Available | 342848 |
Total holds: 0
Bibliogr. s. 333-335. Indeks.
Podręcznik dla studentów pierwszego roku informatyki.