Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /

Bibliographic Details
Other Authors: Buchholz, Wilfried, 1948- (ed.,)
Format: Book
Published: Berlin : Springer, 1981.
Series:Lecture notes in mathematics ; v. 897
LNM ; v. 897
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190409152319.0
008 100415s1981 wb||||| |||| 00| 0 eng d
020 |a 0387111700 ; 
020 |a 3540111700 
040 |a AR_CdUFM 
245 0 0 |a Iterated inductive definitions and subsystems of analysis :   |b recent proof-theoretical studies /   |c ed. Wilfried Buchholz. 
260 |a Berlin :   |b Springer,   |c 1981. 
300 |a v, 383 p. :  |b il. ;  |c 25 cm. 
490 0 |a Lecture notes in mathematics ;   |v v. 897 
490 0 |a LNM ;  |v v. 897 
504 |a Bibliography: p. [358]-368. 
650 4 |a Lógica matemática. 
650 4 |a Mathematical logic. 
700 1 |a Buchholz, Wilfried,  |d 1948-  |e ed.,  |9 2342 
942 |c LIBRO  |2   
945 |a MCR 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__897_000000000000000  |7 0  |9 119  |a MMA  |b MMA  |c LN  |d 2008-06-09  |l 0  |o M LNM v. 897  |p 09056  |r 2014-02-18 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 112  |d 112