02138nam0 22005293i 450 VAN0028792820250423031938.35N978081764769820250227r19912008 |0itac50 baengUS|||| |||||i e bcrPerspectives on the History of Mathematical LogicThomas Drucker editorReprint of the 1991 EdBostonBirkhäuser2008xxiii, 195 p.ill.24 cm001VAN000810562001 Modern Birkhäuser classics210 Boston [etc.]Birkhäuser00B30Festschriften [MSC 2020]VANC022532MF01-XXHistory and biography [MSC 2020]VANC021469MF01A55History of mathematics in the 19th century [MSC 2020]VANC025109MF01A60History of mathematics in the 20th century [MSC 2020]VANC021492MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFAlgebraKW:KAlgebra of LogicKW:KAutomated theorem provingKW:KLogicKW:KMathematical logicKW:KMathematicsKW:KPhilosophyKW:KProof TheoryKW:KProofsKW:KRussel ParadoxKW:KSymbolic logicKW:KBostonVANL000051DruckerThomasVANV116456340Birkhäuser <editore>VANV108193650ITSOL20250606RICAhttps://doi.org/10.1007/978-0-8176-4769-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00287928BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10837 08eMF10837 20250312 Perspectives on the History of Mathematical Logic4315090UNICAMPANIA