Mathematical logic for computer science
Mordechai, Ben-Ari
Mathematical logic for computer science Mordechai Ben - Ari - 2nd ed. - London Springer 2001 - xiv, 304 p. 24 cm.
Includes index and bibliography.
1852333197
Λογική, Συμβολική και μαθηματική
Επιστήμη των υπολογιστών--Μαθηματικά
511.302 85
Mathematical logic for computer science Mordechai Ben - Ari - 2nd ed. - London Springer 2001 - xiv, 304 p. 24 cm.
Includes index and bibliography.
1852333197
Λογική, Συμβολική και μαθηματική
Επιστήμη των υπολογιστών--Μαθηματικά
511.302 85