ID:DA00402988
International Summer Institute and Logic Colloquium Proof Theory Symposium
Symposion on Proof Theory
同姓同名の著者を検索
edited by J. Diller and G.H. Müller
Springer-Verlag 1975 Lecture notes in mathematics 500
: gw , : u.s.
所蔵館69館