【図書】 ISILC Proof Theory Symposion
dedicated to Kurt Schu¨tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 -- Lecture notes in mathematics (Springer-Verlag) -- edited by J. Diller and G. H. Mu¨ller. , , , , -- Springer-Verlag -- 1975. -- 25 cm. -- viii, 383 p.
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。