01163nam 2200397 450 991015783000332120170528074804.00-7660-8251-2(CKB)3710000001009370(MiAaPQ)EBC5533351(EXLCZ)99371000000100937020181016d2017 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAre unicorns real? /Portia Summers and Dana Meachen RauNew York, NY :Enslow Publishing,2017.1 online resource (32 pages) illustrationsI want to know0-7660-8250-4 Includes bibliographical references (page 30) and index.I want to know (Enslow Publishing)UnicornsJuvenile literatureUnicorns398.24/54Summers Portia1071324Meachen Rau DanaMiAaPQMiAaPQMiAaPQBOOK9910157830003321Are unicorns real2891431UNINA01947nam2 22004213i 450 VAN026435020231215113941.401N978366209058920231003f |0itac50 baengDE|||| |||||ˆ3.: ‰Model TheoryHeinz-Dieter Ebbinghaus (Editor) BerlinSpringer1987XLV, 617 p.ill.24 cm001VAN02643462001 Ω-bibliography of mathematical logicEdited by Gert H. MüllerIn Collaboration with Wolfgang Lenski210 BerlinSpringer215 volumiill.24 cm303-XXMathematical logic and foundations [MSC 2020]VANC019750MF00A15Bibliographies for mathematics in general [MSC 2020]VANC022111MF03CxxModel theory [MSC 2020]VANC024387MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03H15Nonstandard models of arithmetic [MSC 2020]VANC024402MFComputability theoryKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KBerlinVANL000066EbbinghausHeinz-DieterVANV024409Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267ITSOL20240614RICAhttps://doi.org/10.1007/978-3-662-09058-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0264350BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6930 08eMF6930 20231023 Model theory343740UNICAMPANIA