Verlag: American Mathematical Society, 1979
ISBN 10: 0821845209 ISBN 13: 9780821845202
Anbieter: Attic Books (ABAC, ILAB), London, ON, Kanada
Hardcover. Zustand: ex library-very good. Translations of Mathematical Monographs Vol. 67. ix, 227 p. 24 cm. Ex library with labels on spine and rear pastedown, ink stamps on top edge and title. Presents the most important methods of proof theory in intuitionistic logic. Appendices, bibliography and indices.