User:Arjuna.scagnetto/Books/Logica

un po' di chiarezza

 * Un po di definizioni
 * Mathematical logic
 * Formal system
 * Axiomatic system
 * Soundness
 * Consistency
 * Completeness


 * I 4 pilastri
 * Proof Theory - la sintassi corretta
 * Proof theory
 * Hilbert system
 * Sequent calculus
 * Natural deduction
 * Axiom schema
 * Rule of inference


 * Model Theory - la semantica completa
 * Model theory
 * Formal language


 * Set Theory
 * Set theory


 * Computability theory - enumeriamo i programmi
 * Computability theory


 * Divagazioni
 * Cut-elimination theorem
 * New Foundations
 * List of formal systems