Selected papers in proof theory
By: Grigorii E. Mints.
Series: Studies in proof theory.; 3
Publisher: Bibliopolis; North-Holland
Published: 1992
Place of publication: Napoli; Amsterdam; New York
Language: eng
Number of pages: 294
Subjects: Proof theory.
Notes: Includes bibliographical references.