Cover Image

Proof, logic and formalization /

Main Author: Detlefsen, Michael
Format: Book
Published: London: Routledge, 1992
Subjects:
Proof theory
Logic, Symbolic and mathematical
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο511.3 PRO1ΠροβολήOPAC
ΤΕΙ Ανατολικής Μακεδονίας & Θράκης1ΠροβολήOPAC

Similar Items