LEADER 02138nam0 22005293i 450 001 VAN00287928 005 20250423031938.35 017 70$2N$a9780817647698 100 $a20250227r19912008 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aPerspectives on the History of Mathematical Logic$fThomas Drucker editor 205 $aReprint of the 1991 Ed 210 $aBoston$cBirkhäuser$d2008 215 $axxiii, 195 p.$cill.$d24 cm 410 1$1001VAN00081056$12001 $aModern Birkhäuser classics$1210 $aBoston [etc.]$cBirkhäuser 606 $a00B30$xFestschriften [MSC 2020]$3VANC022532$2MF 606 $a01-XX$xHistory and biography [MSC 2020]$3VANC021469$2MF 606 $a01A55$xHistory of mathematics in the 19th century [MSC 2020]$3VANC025109$2MF 606 $a01A60$xHistory of mathematics in the 20th century [MSC 2020]$3VANC021492$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aAlgebra$9KW:K 610 $aAlgebra of Logic$9KW:K 610 $aAutomated theorem proving$9KW:K 610 $aLogic$9KW:K 610 $aMathematical logic$9KW:K 610 $aMathematics$9KW:K 610 $aPhilosophy$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aRussel Paradox$9KW:K 610 $aSymbolic logic$9KW:K 620 $dBoston$3VANL000051 702 1$aDrucker$bThomas$3VANV116456$4340 712 $aBirkhäuser $3VANV108193$4650 801 $aIT$bSOL$c20250606$gRICA 856 4 $uhttps://doi.org/10.1007/978-0-8176-4769-8$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 $aVAN00287928 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 10837 $e08eMF10837 20250312 996 $aPerspectives on the History of Mathematical Logic$94315090 997 $aUNICAMPANIA