LEADER 01783nam0 22004573i 450 001 VAN0263519 005 20230921085441.704 017 70$2N$a9783642689529 100 $a20230921d1985 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aFoundations of Constructive Mathematics$eMetamathematical Studies$fMichael J. Beeson 210 $aBerlin$cSpringer$d1985 215 $axxiii, 466 p.$d24 cm 410 1$1001VAN0057218$12001 $aErgebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, A series of modern surveys in mathematics$1210 $aBerlin [etc.]$cSpringer$v6 610 $aComputability theory$9KW:K 610 $aComputer$9KW:K 610 $aComputer Science$9KW:K 610 $aDevelopments$9KW:K 610 $aForcing$9KW:K 610 $aMathematics$9KW:K 610 $aModel theory$9KW:K 610 $aOrganization$9KW:K 610 $aPhilosophy$9KW:K 610 $aProof by contradiction$9KW:K 610 $aProofs$9KW:K 610 $aProving$9KW:K 610 $aSet Theory$9KW:K 610 $aeXist$9KW:K 620 $dBerlin$3VANL000066 700 1$aBeeson$bMichael J.$3VANV217845$049310 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-68952-9$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0263519 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6692 $e08eMF6692 20230929 996 $aFoundations of constructive mathematics$982681 997 $aUNICAMPANIA