Home
»
Deducibility and Decidability
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 9780415000338
- Weight: 470g
- Dimensions: 138 x 216mm
- Publication Date: 26 Apr 1990
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Delivery/Collection within 10-20 working days
Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock
10-20 Working Days: On Backorder
Will Deliver When Available: On Pre-Order or Reprinting
We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
Karoly Bezdek is a Professor and Director - Centre for Computational & Discrete Geometry, Pure Mathematics at University of Calgary. He received his Ph.D. in mathematics at the ELTE University of Budapest. He holds a first tier Canada chair, which is the highest level of research funding awarded by the government of Canada.
Zsolt Langi is an associate professor at Budapest University of Technology, and a senior research fellow at the Morphodynamics Research Group of the Hungarian Academy of Sciences. He received his Ph.D. in mathematics at the ELTE University of Budapest, and also at the University of Calgary. He is particularly interested in geometric extremum problems, and equilibrium points of convex bodies.
Qty:
