A01=R. R. Rockingham Gill
advanced mathematical logic research
arithmetical hierarchy
Author_R. R. Rockingham Gill
Category=QDTL
church's
Church's Thesis
Church’s Thesis
computability theory
Confirmation Procedure
Decidable Predicates
deduction
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
finite
Finite Ordinal
Finite Sequence
Follow
formal
Formal Numeral
formal systems
Formally Deducible
GA?del incompleteness
Induction
Killed Cock Robin
mathematical
mathematical logic
Monotonic Chain
natural
Natural Numbers
Nth Term
number
Numerical Sequent
Odd
Open Branches
Peano's Arithmetic
Peano’s Arithmetic
Recursive Definition
recursive functions
Rogue Form
Sentence Letter
sequence
Syntactical Sequent
Tarski's Theorem
Tarski’s Theorem
thesis
Vice Versa
Product details
- ISBN 9780415754965
- Weight: 204g
- Dimensions: 138 x 216mm
- Publication Date: 24 Apr 2014
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
R R Rockingham Gill (Author)
