Proof theory and logical complexity/

Main Author: Girard, Jean-Yves
Format: Book
Language:English
Published: Napoli: Bibliopolis, c1987-
Series:Studies in Proof theory ; 1
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών511.3 GirJ p 1987- 11ΠροβολήOPAC