LEADER 01744nas 2200541-a 450 001 996209552003316 005 20240113213019.0 011 $a1874-6314 035 $a(DE-599)ZDB2095300-8 035 $a(OCoLC)50277380 035 $a(CKB)2610000000000064 035 $a(CONSER)--2011261074 035 $a(EXLCZ)992610000000000064 100 $a20020731b19982010 s-- a 101 0 $aeng 135 $aurmnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aKnowledge, technology, & policy 210 $aPiscataway, NJ $cTransaction Periodicals Consortium, Rutgers University 210 3 $aDordrecht $cSpringer 215 $a1 online resource (volumes) 300 $aRefereed/Peer-reviewed 300 $aSome issues also have distinctive titles. 311 $a1946-4789 517 3 $aKnowledge, technology, and policy 606 $aCommunication of technical information$vPeriodicals 606 $aCommunication in science$vPeriodicals 606 $aCommunication in science$2fast$3(OCoLC)fst00870268 606 $aCommunication of technical information$2fast$3(OCoLC)fst00870307 606 $aKennis$2gtt 606 $aMaatschappij$2gtt 606 $aTechnologie$2gtt 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 0$aCommunication of technical information 615 0$aCommunication in science 615 7$aCommunication in science. 615 7$aCommunication of technical information. 615 17$aKennis. 615 17$aMaatschappij. 615 17$aTechnologie. 676 $a601 906 $aJOURNAL 912 $a996209552003316 996 $aKnowledge, technology, & policy$92034907 997 $aUNISA LEADER 02184nam0 2200481 i 450 001 VAN00124569 005 20240806100816.700 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$3VAN00236126$aˆAn ‰Introduction to the Language of Mathematics$91564654 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03E20$xOther classical set theory (including functions, relations, and set algebra) [MSC 2020]$3VANC024408$2MF 606 $a03E25$xAxiom of choice and related propositions [MSC 2020]$3VANC020025$2MF 606 $a03F07$xStructure of proofs [MSC 2020]$3VANC031517$2MF 606 $a06A06$xPartial order, general [MSC 2020]$3VANC022498$2MF 606 $a11A51$xFactorization; primality [MSC 2020]$3VANC023242$2MF 606 $a11Axx$xElementary number theory [MSC 2020]$3VANC019694$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$c20241115$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 $aVAN00124569 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 1031 $e08eMF1031 20191021 996 $aIntroduction to the Language of Mathematics$91564654 997 $aUNICAMPANIA