Proof theory and logical complexity= Logical complexity/

Main Author: Girard, Jean-Yves
Format: Book
Language:English
Published: Napoli: Bibliopolis, c1987-
Series:Studies in proof theory 1
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουQA9.54.G57 19871ΠροβολήOPAC