Catalog

Record Details

Catalog Search



Logic: A Brief Course Cover Image E-book E-book

Logic: A Brief Course [electronic resource] / by Daniele Mundici.

Record details

  • ISBN: 9788847023611
  • Physical Description: XI, 130 p. online resource.
  • Publisher: Milano : Springer Milan : 2012.
Subject: Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Semantics.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Semantics.

Electronic resources


LDR 01495nam a22004335i 4500
00129688
003CONS
00520130726162158.0
007cr nn 008mamaa
008120329s2012 it | s |||| 0|eng d
020 . ‡a9788847023611 ‡9978-88-470-2361-1
0247 . ‡a10.1007/978-88-470-2361-1 ‡2doi
035 . ‡a(DE-He213)978-88-470-2361-1
050 4. ‡aQA8.9-10.3
072 7. ‡aPBC ‡2bicssc
072 7. ‡aPBCD ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
1001 . ‡aMundici, Daniele. ‡eauthor.
24510. ‡aLogic: A Brief Course ‡h[electronic resource] / ‡cby Daniele Mundici.
264 1. ‡aMilano : ‡bSpringer Milan : ‡bImprint: Springer, ‡c2012.
300 . ‡aXI, 130 p. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aUNITEXT, ‡x2038-5714
650 0. ‡aMathematics.
650 0. ‡aComputer science.
650 0. ‡aLogic, Symbolic and mathematical.
650 0. ‡aSemantics.
65014. ‡aMathematics.
65024. ‡aMathematical Logic and Foundations.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSemantics.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9788847023604
830 0. ‡aUNITEXT, ‡x2038-5714
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-88-470-2361-1 ‡yTexto completo ‡9CONS
950 . ‡aMathematics and Statistics (Springer-11649)
901 . ‡a29688 ‡b ‡c29688 ‡tbiblio ‡sSystem Local

Additional Resources