02181nam0 2200481 i 450 VAN012456920230628105330.446N978303000641920191021d2018 |0itac50 baengCH|||| |||||ˆAn ‰Introduction to the Language of MathematicsFrédéric MynardChamSpringer2018xii, 185 p.ill.24 cmVAN0236126ˆAn ‰Introduction to the Language of Mathematics156465411AxxElementary number theory [MSC 2020]VANC019694MF03E25Axiom of choice and related propositions [MSC 2020]VANC020025MF06A06Partial order, general [MSC 2020]VANC022498MF11A51Factorization; primality [MSC 2020]VANC023242MF03E20Other classical set theory (including functions, relations, and set algebra) [MSC 2020]VANC024408MF03BxxGeneral logic [MSC 2020]VANC024425MF03F07Structure of proofs [MSC 2020]VANC031517MF97ExxEducation of foundations of mathematics [MSC 2020]VANC034147MFEquivalence relationsKW:KInfinite cardinalityKW:KMathematical inductionKW:KOrder relationKW:KProofsKW:KPropositional logicKW:KRelationsKW:KSet TheoryKW:KCHChamVANL001889MynardFrédéricVANV057364732154Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-00641-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0124569BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1031 08eMF1031 20191021 Introduction to the Language of Mathematics1564654UNICAMPANIA