TY - BOOK ID - 7612418 TI - Logica: Metodo Breve PY - 2011 SN - 8847018838 8847018846 PB - Milano : Springer Milan : Imprint: Springer, DB - UniCat KW - Algebra, Boolean. KW - Logic, Symbolic and mathematical. KW - Logic. KW - Mathematics -- Philosophy. KW - Mathematics. KW - Predicate (Logic). KW - Mathematics KW - Physical Sciences & Mathematics KW - Mathematical Theory KW - Predicate (Logic) KW - Boolean algebra KW - Boole's algebra KW - Predicables (Logic) KW - Predication (Logic) KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Mathematical logic. KW - Semantics. KW - Mathematical Logic and Foundations. KW - Mathematical Logic and Formal Languages. KW - Algebraic logic KW - Set theory KW - Categories (Philosophy) KW - Language and logic KW - Logic KW - Intellect KW - Philosophy KW - Psychology KW - Science KW - Reasoning KW - Thought and thinking KW - Methodology KW - Computer science. KW - Formal semantics KW - Semasiology KW - Semiology (Semantics) KW - Comparative linguistics KW - Information theory KW - Language and languages KW - Lexicology KW - Meaning (Psychology) KW - Informatics KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Syllogism UR - https://www.unicat.be/uniCat?func=search&query=sysid:7612418 AB - Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi. ER -