Logic for computer scientists/

Main Author: Schoening, Uwe
Format: Book
Published: Boston : Birkhauser, 1994, c1989
Edition:2nd printing.
Series:Progress in computer science and applied logic / John C. Cherniavsky ; ; v. 8
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών511.3 SchU l 19891ΠροβολήOPAC
Εθνικό Μετσόβιο Πολυτεχνείο511.31ΠροβολήOPAC