Mathematical Logic
Auteur : Shoenfield Joseph R.
Date de parution : 02-2001
Ouvrage de 344 p.
15.6x23.4 cm
Thème de Mathematical Logic :
Mots-clés :
Nonlogical Axioms; nonlogical; Non-logical Axioms; axioms; Nonlogical Symbol; symbol; Prenex Form; substitution; Substitution Axioms; prenex; Equality Axioms; form; Identity Axiom; equality; Predicate Symbol; non-logical; Variable Free Formula; induction; Closed Formula; hypothesis; Completeness Theorem; Joseph R; Shoenfield; Equality Theorem; Detachment Rule; Calculable Functions; Recursive Extension; Church’s Thesis; Consistency Proof; Induction Axiom; Recursive Functions; Elementary Extension; Defining Equations; Special Constant; Syntactical Variables; Substitution Theorem; Reduction Theorem