Labelled deduction /

Other Authors: Basin, David
Format: Book
Published: Dordrecht: Kluwer Academic Publishers, c2000
Series:Applied logic series ; Volume 17
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο511.3 LAB1ΠροβολήOPAC