02166nam0 22005053i 450 VAN0029046720250618025233.502N978364278052320250401d1993 |0itac50 baengDE|||| |||||i e bcrFoundations of MathematicsQuestions of Analysis, Geometry & AlgorithmicsErwin EngelerTranslated by Charles B. ThomasBerlin [etc.]Springer-Verlag1993100 p.24 cmVAN00290469Metamathematik der Elementarmathematik434337200A30Philosophy of mathematics [MSC 2020]VANC020829MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B30Foundations of classical theories (including reverse mathematics) [MSC 2020]VANC019969MF03B40Combinatory logic and lambda-calculus [MSC 2020]VANC024414MF03H05Nonstandard models in mathematics [MSC 2020]VANC020826MFAlgorithmsKW:KAnalysisKW:KCalculusKW:KGeometryKW:KMetamathematicsKW:KNon-standard AnalysisKW:KProofsKW:Kcomputational theoryKW:KBerlinVANL000066EngelerErwinVANV20842446589ThomasCharles B.VANV039397730Springer <editore>VANV108073650Thomas, Charles BenedictThomas, Charles B.VANV059585ITSOL20250620RICAhttps://doi.org/10.1007/978-3-642-78052-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00290467BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11316 08eMF11316 20250528 Metamathematik der Elementarmathematik4343372UNICAMPANIA