Logic of Arithmetic
Auteur : Felscher Walter
Date de parution : 09-2019
15.2x22.9 cm
Date de parution : 05-2000
15.2x22.9 cm
Thème de Logic of Arithmetic :
Mots-clés :
Values Recursion; FSO; Primitive Recursive Functions; Peano Arithmetic; H Ilb E Rt; Free Variable Formula; Quantifier Elimination; Predicate Symbols; Primitive Recursively; Atomic Formulas; Sequent Calculus; Axiom Systems; Consistency Proofs; Incompleteness Theorem; Provable Sentence; Recursive Function; Modus Ponens; Follow; Open Formulas; Prime Factor Decomposition; Recursive Relations; Formally Defined; Atomic Sentences; Equality Logic; Canonically Represented