Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Algebra, Boolean. --- Logic, Symbolic and mathematical. --- Logic. --- Mathematics -- Philosophy. --- Mathematics. --- Predicate (Logic). --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Predicate (Logic) --- Boolean algebra --- Boole's algebra --- Predicables (Logic) --- Predication (Logic) --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Mathematical logic. --- Semantics. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Algebraic logic --- Set theory --- Categories (Philosophy) --- Language and logic --- Logic --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Computer science. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Informatics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism