Studies in proof theory
Bibliopolis
Grigorii E. Mints
Bibliopolis , North-Holland c1992 Studies in proof theory monographs 3
所蔵館18館
Wilfried Buchholz, Kurt Schütte
Bibliopolis c1988 Studies in proof theory . Monographs ; 2
所蔵館19館
Gerhard Jäger
Bibliopolis c1986 Studies in proof theory 2
Samuel R. Buss
Bibliopolis c1986 Studies in proof theory 3
所蔵館24館