Language, proof, and logic/

Main Author: Barwise, Jon
Other Authors: Barker-Plummer, Dave, Liu, Albert,
Format: Book
Language:English
Published: Stanford, Calif.: CSLI Publications, c2002
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο160 BAR1ΠροβολήOPAC
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουBC61.B38 20022ΠροβολήOPAC