J. Diller
ISILC - Proof Theory Symposion - 1975 - Heidelberg Springer Berlin 1975 - Proceedings - Lecture Notes in Mathematics v.500 .
9783540380207
Mathematics and Statistics
ISILC - Proof Theory Symposion - 1975 - Heidelberg Springer Berlin 1975 - Proceedings - Lecture Notes in Mathematics v.500 .
9783540380207
Mathematics and Statistics