Theories for admissible sets
Subtitle: a unifying approach to proof theory
By: Gerhard Jäger.
Series: Studies in proof theory ;; 2
Publisher: Bibliopolis
Published: 1986
Place of publication: Napoli
Language: eng
Number of pages: 167
Subjects: Proof theory.; Admissible sets.
Notes: Bibliography: p. 162-167.
Habilitationsschrift.