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