|
|
|
|
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
|