Introduction to Mathematical Logic
portes grátis
Introduction to Mathematical Logic
Mendelson, Elliott
Taylor & Francis Ltd
10/2024
514
Mole
9781032919140
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
The Propositional Calculus. First-Order Logic and Model Theory. Formal Number Theory. Axiomatic Set Theory. Computability. Appendices.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Primitive Recursive;Predicate Letter;Primitive Recursive Function;Deduction Theorem;Recursive Function;Individual Constant;Function Letter;Church's Thesis;Proper Axioms;Rule E4;Propositional Calculus;Partial Recursive Function;Turing Machine;Prenex Normal Form;Normal Algorithm;Initial Ordinal;Axiom Schema;Strongly Representable;Truth Table;Logically Valid;Empty Domain;Denumerable Sequence;Logically Equivalent;Bernstein's Theorem;Denumerable Model
The Propositional Calculus. First-Order Logic and Model Theory. Formal Number Theory. Axiomatic Set Theory. Computability. Appendices.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Primitive Recursive;Predicate Letter;Primitive Recursive Function;Deduction Theorem;Recursive Function;Individual Constant;Function Letter;Church's Thesis;Proper Axioms;Rule E4;Propositional Calculus;Partial Recursive Function;Turing Machine;Prenex Normal Form;Normal Algorithm;Initial Ordinal;Axiom Schema;Strongly Representable;Truth Table;Logically Valid;Empty Domain;Denumerable Sequence;Logically Equivalent;Bernstein's Theorem;Denumerable Model