01670nam0 2200373 i 450 SUN012456920191022111810.660.00N978-3-030-00641-920191021d2018 |0engc50 baengCH|||| |||||An *Introduction to the Language of MathematicsFrédéric MynardCham : Springer, 2018xii185 p.ill. ; 24 cmPubblicazione in formato elettronico11AxxElementary number theory [MSC 2020]MFSUNC01969403E25Axiom of choice and related propositions [MSC 2020]MFSUNC02002506A06Partial order, general [MSC 2020]MFSUNC02249811A51Factorization; primality [MSC 2020]MFSUNC02324203E20Other classical set theory (including functions, relations, and set algebra) [MSC 2020]MFSUNC02440803BxxGeneral logic [MSC 2020]MFSUNC02442503F07Structure of proofs [MSC 2020]MFSUNC03151797ExxEducation of foundations of mathematics [MSC 2020]MFSUNC034147CHChamSUNL001889Mynard, FrédéricSUNV057364732154SpringerSUNV000178650ITSOL20210503RICAhttp://doi.org/10.1007/978-3-030-00641-9SUN0124569UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1031 08eMF1031 20191021 Introduction to the Language of Mathematics1564654UNICAMPANIA