Logic: a brief course
(eBook)
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of G©œdel's completeness theorem and its main consequences is given using Robinson's completeness theorem and G©œdel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.
Mundici, D. (2012). Logic: a brief course. Milan ; New York, Springer.
Chicago / Turabian - Author Date Citation (style guide)Mundici, Daniele, 1946-. 2012. Logic: A Brief Course. Milan ; New York, Springer.
Chicago / Turabian - Humanities Citation (style guide)Mundici, Daniele, 1946-, Logic: A Brief Course. Milan ; New York, Springer, 2012.
MLA Citation (style guide)Mundici, Daniele. Logic: A Brief Course. Milan ; New York, Springer, 2012.
Notes
Record Information
Last Sierra Extract Time | Apr 05, 2024 08:52:04 AM |
---|---|
Last File Modification Time | Apr 05, 2024 08:57:53 AM |
Last Grouped Work Modification Time | Apr 05, 2024 08:52:37 AM |
MARC Record
LEADER | 05657cam a2201081 a 4500 | ||
---|---|---|---|
001 | 785149450 | ||
003 | OCoLC | ||
005 | 20240329122006.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 120410s2012 it o 001 0 eng d | ||
019 | |a 801364222|a 849298739|a 985055292|a 1005765667|a 1110789480 | ||
020 | |a 9788847023611|q (electronic bk.) | ||
020 | |a 8847023610|q (electronic bk.) | ||
020 | |a 8847023602 | ||
020 | |a 9788847023604 | ||
020 | |z 9788847023604 | ||
024 | 7 | |a 10.1007/978-88-470-2361-1|2 doi | |
035 | |a (OCoLC)785149450|z (OCoLC)801364222|z (OCoLC)849298739|z (OCoLC)985055292|z (OCoLC)1005765667|z (OCoLC)1110789480 | ||
037 | |b Springer | ||
040 | |a GW5XE|b eng|e pn|c GW5XE|d ZMC|d COO|d OCLCQ|d YDXCP|d E7B|d OCLCF|d MBB|d TPH|d A7U|d MEAUC|d EBLCP|d OCLCQ|d OCLCO|d DEBSZ|d OCLCQ|d VT2|d OCLCO|d Z5A|d ESU|d IOG|d OCLCQ|d OCLCO|d CEF|d OCLCQ|d WYU|d YOU|d TKN|d LEAUB|d OL$|d OCLCO|d OCLCQ|d OCLCA|d UKAHL|d AJS|d DCT|d OCLCQ|d OCLCO|d OCLCQ|d OCLCO|d OCLCQ|d OCL|d OCLCO|d INARC|d OCLCL|d S9M | ||
041 | 1 | |a eng|h ita | |
049 | |a COM6 | ||
050 | 4 | |a QA9|b .M86 2012 | |
072 | 7 | |a MAT018000|2 bisacsh | |
072 | 7 | |a PBCD|2 bicssc | |
072 | 7 | |a PBC|2 bicssc | |
082 | 0 | 4 | |a 511.3|2 23 |
100 | 1 | |a Mundici, Daniele,|d 1946-|1 https://id.oclc.org/worldcat/entity/E39PBJfGWrkjMXT7bPRJHRQpfq | |
240 | 1 | 0 | |a Logica.|l English |
245 | 1 | 0 | |a Logic :|b a brief course /|c Daniele Mundici. |
260 | |a Milan ;|a New York :|b Springer,|c ©2012. | ||
300 | |a 1 online resource (xi, 124 pages) | ||
336 | |a text|b txt|2 rdacontent | ||
337 | |a computer|b c|2 rdamedia | ||
338 | |a online resource|b cr|2 rdacarrier | ||
347 | |a text file | ||
347 | |b PDF | ||
490 | 1 | |a Unitext - La Matematica per il 3+2,|x 2038-5714 | |
505 | 0 | 0 | |g pt. I.|t Propositional Logic --|t Introduction --|t Fundamental Logical Notions --|t The Resolution Method --|t Robinson's Completeness Theorem --|t Fast Classes for DPP --|t Gödel's Compactness Theorem --|t Propositional Logic: Syntax --|t Propositional Logic: Semantics --|t Normal Forms --|t Recap: Expressivity and Efficiency --|g pt. II.|t Predicate Logic --|t The Quantifiers "There Exists" and "For All" --|t Syntax of Predicate Logic --|t The Meaning of Clauses --|t Gödel's Completeness Theorem for the Logic of Clauses --|t Equality Axioms --|t The Predicate Logic L --|t Final Remarks. |
520 | |a This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of G©œdel's completeness theorem and its main consequences is given using Robinson's completeness theorem and G©œdel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics. | ||
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 0 | |a Logic. | |
650 | 0 | |a Mathematics. | |
650 | 1 | 2 | |a Logic |
650 | 1 | 2 | |a Mathematics |
650 | 6 | |a Logique symbolique et mathématique. | |
650 | 6 | |a Logique. | |
650 | 6 | |a Mathématiques. | |
650 | 7 | |a logic.|2 aat | |
650 | 7 | |a mathematics.|2 aat | |
650 | 7 | |a applied mathematics.|2 aat | |
650 | 7 | |a Lógica matemática|2 embne | |
650 | 7 | |a Lógica|2 embne | |
650 | 7 | |a Matemáticas|2 embne | |
650 | 7 | |a Mathematics|2 fast | |
650 | 7 | |a Logic|2 fast | |
650 | 7 | |a Logic, Symbolic and mathematical|2 fast | |
653 | 4 | |a Mathematics. | |
653 | 4 | |a Computer science. | |
653 | 4 | |a Logic, Symbolic and mathematical. | |
653 | 4 | |a Mathematical Logic and Foundations. | |
653 | 4 | |a Mathematical Logic and Formal Languages. | |
710 | 2 | |a SpringerLink (Online Service) | |
776 | 0 | 8 | |i Printed edition:|z 9788847023604 |
830 | 0 | |a Unitext. | |
907 | |a .b35348422 | ||
948 | |a MARCIVE Overnight, in 2024.01 | ||
948 | |a MARCIVE Comp, in 2022.12 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Comp, 2019.12 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE August, 2017 | ||
948 | |a MARCIVE extract Aug, 5 2017 | ||
989 | |1 .i71772984|d cceb|g j|m |h 0|x 0|t 0|i 0|j 188|k 120614|o -|w SpringerLink CCU Owned|u http://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/978-88-470-2361-1 | ||
989 | |1 .i151359258|d cueme|g -|m |h 0|x 0|t 0|i 0|j 200|k 240404|o -|w SpringerLink|u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-88-470-2361-1 | ||
994 | |a 92|b COM | ||
995 | |a Loaded with m2btab.elec in this month | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a OCLC offline update by CMU | ||
995 | |a Loaded with m2btab.auth in 2021.07 | ||
995 | |a Loaded with m2btab.auth in 2024.01 | ||
998 | |e -|f eng|a cue|a cc|a cu | ||
999 | |e z | ||
999 | |a cue |