Proof theory /

Bibliographic Details
Main Author: Schütte, K. (Kurt)
Format: Book
Language:English
German
Published: New York : Springer-Verlag, 1977.
Series:Grundlehren der mathematischen Wissenschaften ; 225.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 i 4500
001 in00000072902
005 20151008055950.0
008 760922s1977 nyu b 00110 eng
010 |a  76045768  
019 |a 3476138  |a 3533174 
020 |a 0387079114 
035 |a (OCoLC)02508348 
035 |9 AAJ4832AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
041 1 |a eng  |a ger 
049 |a TXAM  |c [1612025] 
050 0 0 |a QA9.54  |b .S3813 
082 0 |a 511/.3 
100 1 |a Schütte, K.  |q (Kurt) 
245 1 0 |a Proof theory /  |c Kurt Schutte ; translation from the German by J. N. Crossley. 
264 1 |a New York :  |b Springer-Verlag,  |c 1977. 
300 |a xii, 302 pages ;  |c 25 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Grundlehren der mathematischen Wissenschaften ;  |v 225 
500 |a Translation of Beweistheorie. 
500 |a Includes index. 
504 |a Bibliography: pages [293]-296. 
650 0 |a Proof theory. 
830 0 |a Grundlehren der mathematischen Wissenschaften ;  |v 225. 
999 |a MARS 
999 f f |s feccd919-4efd-3f69-9984-0c2bb8a2c012  |i 73fec652-a2ef-3a3d-b4e4-10a3b931c399  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA9.54 .S3813  |h Library of Congress classification  |i unmediated -- volume  |m A14804437175 
998 f f |a QA9.54 .S3813  |t 0  |l Remote Storage