LEADER 02112nam  2200577   450 
001 996466513003316
005 20220304131226.0
010   $a3-540-38649-1
024 7 $a10.1007/BFb0091894
035   $a(CKB)1000000000437906
035   $a(SSID)ssj0000324200
035   $a(PQKBManifestationID)12133617
035   $a(PQKBTitleCode)TC0000324200
035   $a(PQKBWorkID)10305387
035   $a(PQKB)10377725
035   $a(DE-He213)978-3-540-38649-0
035   $a(MiAaPQ)EBC5577112
035   $a(Au-PeEL)EBL5577112
035   $a(OCoLC)1066184224
035   $a(MiAaPQ)EBC6842556
035   $a(Au-PeEL)EBL6842556
035   $a(OCoLC)1293257561
035   $a(PPN)155174592
035   $a(EXLCZ)991000000000437906
100   $a20220304d1981      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aIterated inductive definitions and subsystems of analysis $erecent proof-theoretical studies. /$fWilfried Buchholz [and three others]
205   $a1st ed. 1981.
210  1$aBerlin :$cSpringer-Verlag,$d[1981]
210  4$d©1981
215   $a1 online resource (VIII, 384 p.) 
225 1 $aLecture notes in mathematics ;$v897
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-11170-0 
327   $aInductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity.
410  0$aLecture notes in mathematics (Springer-Verlag) ;$v897.
606   $aInduction (Mathematics)
615  0$aInduction (Mathematics)
676   $a511.31
700   $aBuchholz$b Wilfried$f1948-$045406
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466513003316
996   $aIterated inductive definitions and subsystems of analysis$9342985
997   $aUNISA

LEADER 01244nam0 22003011i 450 
001 UON00284174
005 20231205103852.525
010   $a95-681-7003-0$bERR
100   $a20061121d2003       |0itac50      ba
101   $aspa
102   $aCL
105   $a||||    |||||
200 1 $aTerritorios en fuga$eestudios criticos de la obra de Roberto Bolano$festudio preliminar y compilacio Patricia Espinosa
210   $aProvidencia$cFrasis Ed.$d2003
215   $a264 p.$d21 cm.
410  1$1001UON00294823$12001 $aColeccion ensayos$1210  $aProvidencia$cFrasis
423  1$1001UON00376774$12001 $aEstudios criticos sobre le obra de Roberto Bolano
606   $aBOLAÑO ROBERTO$3UONC058528$2FI
620   $dProvidencia$3UONL004276
676   $aCi863$cLetteratura cilena. Narrativa$v21
702  1$aESPINOSA$bPatricia H.$3UONV169701
712   $aFrasis editores$3UONV273354$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00284174
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Isp.A     Ci                      860 b       13                  $eSI DA 1544     5        13                  $sBuono
996   $aTerritorios en fuga$91245679
997   $aUNIOR