Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley. (Grundlehren der mathematischen Wissenschaften ; 225)

Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.

(Grundlehren der mathematischen Wissenschaften ; 225)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0387079114
Title: Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.
Series Title: Grundlehren der mathematischen Wissenschaften ; 225
Title Heading: Beweistheorie. English.
Author Heading: Schütte, K. (Kurt)
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1977.
Publication Date (W3CDTF): 1977
Extent: xii, 302 p. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Proof theory.
LCC: QA9.54
DDC: 511/.3
NDLC: MA41
Note (General): Translation of Beweistheorie.
Includes index.
Note (Bibliography): Bibliography: p. [293]-296.
Holding library: 国立国会図書館
Call No.: MA41-126
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006325200
http://id.ndl.go.jp/bib/000006325200
LC Control Number: 76045768 //r864
https://lccn.loc.gov/76045768
Bibliographic Record Category (NDL): 211