Mathematical intuitionism : introduction to proof theory /

Bibliographic Details
Main Author: Dragalin, Alʹbert Grigorʹevich
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, [1988]
Series:Translations of mathematical monographs ; v. 67.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000017977
005 20151007053121.0
008 871116s1988 riu b 00110 eng
010 |a  87032766  
020 |a 0821845209 
035 |a (OCoLC)17108666 
035 |9 AAB0456AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
041 1 |a eng  |h rus 
049 |a TXAM  |c [A11051265] 
050 0 0 |a QA9  |b .D7313 1987 
050 4 |a QA9  |b .D7313 1988 
082 0 |a 511.3  |2 19 
100 1 |a Dragalin, Alʹbert Grigorʹevich. 
240 1 0 |a Matematicheskiĭ intuit͡sionizm.  |l English 
245 1 0 |a Mathematical intuitionism :  |b introduction to proof theory /  |c A.G. Dragalin. 
263 |a 8712 
264 1 |a Providence, R.I. :  |b American Mathematical Society,  |c [1988] 
264 4 |c ©1988 
300 |a ix, 228 pages 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Translations of mathematical monographs,  |x 0065-9282 ;  |v v. 67 
500 |a Translation of: Matematicheskiĭ intuit︠s︡ionizm. 
504 |a Bibliography: pages 201-216. 
500 |a Includes indexes. 
650 0 |a Logic, Symbolic and mathematical. 
830 0 |a Translations of mathematical monographs ;  |v v. 67. 
999 |a MARS 
999 f f |s e18a25c1-e2c3-303a-9d75-97f3a3813fb6  |i 762d010c-4b00-3fb7-adb0-7f0d13e9afca  |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 .D7313 1988  |h Library of Congress classification  |i unmediated -- volume  |m A14811051265 
998 f f |a QA9 .D7313 1988  |t 0  |l Remote Storage