ISILC proof theory symposium

Bibliografiska uppgifter
Övriga upphovsmän: Diller, J (Utgivare, redaktör, sammanställare)
Materialtyp: Printed Book
Publicerad: Springer-Verlag, Berlin 1975
Serie:Lecture Notes in Mathematics, No.0500
Ämnen:
Lecture Notes in Mathematics

Liknande verk