2015/07/29 by Michał Walicki · 1 citation
Computer Science · #Computability, Logic, AI Algorithms
paper · doi:10.1142/9783
openalex publication_date 2015/07/29 · openalex created_date 2025/10/10 · openalex updated_date 2025/11/06
History of Logic Basic Set Theory and Induction Turing Machines and Computability Propositional Logic: Hilbert's and Gentzen's Proof Systems Boolean and Set-Valued Semantics DNF and CNF Soundness and Completeness First-Order Logic: Hilbert's and Gentzen's Proof Systems Tarski's Semantics Prenex NF Term Models and Prolog Soundness and Completeness Exercises to Each Topic.