LEADER 02181nam0 2200481 i 450 001 VAN0124569 005 20230628105330.446 017 70$2N$a9783030006419 100 $a20191021d2018 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aˆAn ‰Introduction to the Language of Mathematics$fFrédéric Mynard 210 $aCham$cSpringer$d2018 215 $axii, 185 p.$cill.$d24 cm 500 1$3VAN0236126$aˆAn ‰Introduction to the Language of Mathematics$91564654 606 $a11Axx$xElementary number theory [MSC 2020]$3VANC019694$2MF 606 $a03E25$xAxiom of choice and related propositions [MSC 2020]$3VANC020025$2MF 606 $a06A06$xPartial order, general [MSC 2020]$3VANC022498$2MF 606 $a11A51$xFactorization; primality [MSC 2020]$3VANC023242$2MF 606 $a03E20$xOther classical set theory (including functions, relations, and set algebra) [MSC 2020]$3VANC024408$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03F07$xStructure of proofs [MSC 2020]$3VANC031517$2MF 606 $a97Exx$xEducation of foundations of mathematics [MSC 2020]$3VANC034147$2MF 610 $aEquivalence relations$9KW:K 610 $aInfinite cardinality$9KW:K 610 $aMathematical induction$9KW:K 610 $aOrder relation$9KW:K 610 $aProofs$9KW:K 610 $aPropositional logic$9KW:K 610 $aRelations$9KW:K 610 $aSet Theory$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aMynard$bFrédéric$3VANV057364$0732154 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-00641-9$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 $aVAN0124569 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 1031 $e08eMF1031 20191021 996 $aIntroduction to the Language of Mathematics$91564654 997 $aUNICAMPANIA