| LEADER | 01825nam a2200289Ia 4500 | ||
|---|---|---|---|
| 001 | e1f3b011-e5ad-4784-aefb-777991225814 | ||
| 005 | 20230619000000.0 | ||
| 008 | 130319s2012 it a 001 0 eng d | ||
| 016 | 7 | |a 015904484 |2 Uk | |
| 020 | |a 8847023602 | ||
| 020 | |a 9788847023604 | ||
| 035 | |a (OCoLC)830439922 |z (OCoLC)755698471 | ||
| 035 | |a 8036780 | ||
| 040 | |a IND |c IND |d IND |d BTCTA |d UKMGB |d YDXCP |d UX0 |d OCLCO |d BWX | ||
| 100 | 1 | |a Mundici, Daniele, |d 1946- | |
| 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 c2012 | ||
| 300 | |a xi, 124 p. : |b ill. ; |c 24 cm | ||
| 490 | 1 | |a Unitext - La Matematica per il 3+2, |x 2038-5722 ; |v 60 | |
| 500 | |a Includes index | ||
| 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. |
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 830 | 0 | |a Unitext ; |v 60 | |
| 999 | 1 | 0 | |i e1f3b011-e5ad-4784-aefb-777991225814 |l 8036780 |s US-NIC |m logicbrief_course__________________________________________________________2012_______sprina________________________________________mundici__daniele___________________p |
| 999 | 1 | 1 | |l 8036780 |s ISIL:US-NIC |t BKS |a math |b 31924118767890 |c QA9 .M86 2012 |d lc |k 1 |x Book |y 298130d0-313b-45fe-9a56-b3bc8dd8fecc |p LOANABLE |