Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems

By Roman Murawski

Book Overview

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 9048152984
• ISBN13: 9789048152988
• Release Date: December 2010
• Publisher: Springer
• Length: 395 Pages
• Weight: 1.25 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"