Deducibility and Decidability

Regular price €167.40
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.