The book is currently out of stock
Recursive Functions and Metamathematics
Authors
Parameters
More about the book
"Recursive Functions and Metamathematics" explores completeness and decidability in theories through recursive functions. It covers Gödel's incompleteness theorems, their generalizations, and decidability theory, alongside historical and philosophical contexts. The book is self-contained, suitable for scholars and advanced students in logic and mathematics.
Publication
Book purchase
Recursive Functions and Metamathematics, Roman Murawski
- Language
- Released
- 1999
We’ll notify you via email once we track it down.
Payment methods
- Title
- Recursive Functions and Metamathematics
- Language
- English
- Authors
- Roman Murawski
- Publisher
- Springer / Springer Netherlands
- Released
- 1999
- Format
- Hardcover
- ISBN13
- 9780792359043
- Category
- Philosophy, Textbooks, Theory and history of science
- Description
- "Recursive Functions and Metamathematics" explores completeness and decidability in theories through recursive functions. It covers Gödel's incompleteness theorems, their generalizations, and decidability theory, alongside historical and philosophical contexts. The book is self-contained, suitable for scholars and advanced students in logic and mathematics.