Description
Mathematical Logic
Author: Shoenfield Joseph R.
Language: EnglishSubject for Mathematical Logic:
Keywords
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
344 p. · 15.6x23.4 cm · Paperback
Description
/li>Contents
/li>Biography
/li>