LEADER 01277nam0-22004091i-450- 001 990005455270203316 005 20010829120000.0 035 $a000545527 035 $aUSA01000545527 035 $a(ALEPH)000545527USA01 035 $a000545527 100 $a20010829d1977-------|0itac50------ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aSaggio sul principio di popolazione 1798$eseguito da esame sommario del principio di popolazione (1830)$fT. R. Malthus$ga cura di Guido Maggioni 210 $aTorino$cEinaudi$d1977 215 $aXLIX, 257 p.$d18 cm. 225 2$aPiccola biblioteca Einaudi 410 1$12001$aPiccola biblioteca Einaudi 606 $aPopolazione$xsaggi$2FI 620 $dTorino 676 $a330.1$cSistemi e teorie$v21 700 1$aMALTHUS,$bThomas Robert$049012 702 1$aMAGGIONI,$bGuido 712 $aEinaudi 801 $aIT$bSOL$c20120104 912 $a990005455270203316 950 $aDIP.TO SCIENZE ECONOMICHE - (SA)$dDS 300 330.1 MAL$e1033 DISES 951 $a300 330.1 MAL$b1033 DISES 959 $aBK 969 $aDISES 979 $c20121027$lUSA01$h1532 979 $c20121027$lUSA01$h1613 996 $aSaggio sul principio di popolazione$9452167 997 $aUNISA NUM $aUSA5419 LEADER 02961nam 2200613 450 001 996466586903316 005 20220916123635.0 010 $a3-540-38283-6 024 7 $a10.1007/BFb0060871 035 $a(CKB)1000000000438491 035 $a(SSID)ssj0000323064 035 $a(PQKBManifestationID)12099159 035 $a(PQKBTitleCode)TC0000323064 035 $a(PQKBWorkID)10296243 035 $a(PQKB)10895207 035 $a(DE-He213)978-3-540-38283-6 035 $a(MiAaPQ)EBC5586218 035 $a(Au-PeEL)EBL5586218 035 $a(OCoLC)1066179023 035 $a(MiAaPQ)EBC6842877 035 $a(Au-PeEL)EBL6842877 035 $a(PPN)155195107 035 $a(EXLCZ)991000000000438491 100 $a20220916d1973 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aExtensional Go?del functional interpretation $ea consistency proof of classical analysis /$fHorst Luckhardt 205 $a1st ed. 1973. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1973] 210 4$dİ1973 215 $a1 online resource (VI, 166 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v306 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-06119-3 327 $aand survey -- A formal system of classical analysis -- Elimination of extensionality -- Translation of classical into intuitionistic approximated theories -- Gödel's functional interpretation in the narrower sense -- The calculus T of the primitive recursive functionals -- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T -- The calculus T?BR of the bar recursive functionals -- Functional interpretation of classical (AC)o-, (?AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T?BR -- Further consequences from the functional interpretation of classical analysis -- Consistency proof by computation. Computation of T?BRo...o?? -- Generalized inductive definitions -- Generalization of bar induction BID and the inductive generation processes to trees over species -- A model for T?BR -- On the bar recursive model of classical analysis and the general bar induction over species. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v306 606 $aIntuitionistic mathematics 606 $aProof theory 606 $aMathematical analysis$vCongresses 615 0$aIntuitionistic mathematics. 615 0$aProof theory. 615 0$aMathematical analysis 676 $a510.8 700 $aLuckhardt$b Horst$059223 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466586903316 996 $aExtensional Godel functional interpretation$981511 997 $aUNISA