> Publishers' series
-
Theories for admissible sets a unifying approach to proof theory Gerhard Jäger
Napoli: Bibliopolis, 1986
-
Bounded arithmetic Samuel R. Buss
Napoli: Bibliopolis, 1986
-
Intuitionistic type theory Per Martin-Löf
Napoli: Bibliopolis, 1984