BooksPhilosophyLogicMathematicsSciencePhilosophy & social aspects
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library, 286)
by Murawski, Roman
Product Details
Author
Murawski, Roman
Publisher
Springer
Published
1999
Pages
407
Binding
Hardcover
Edition
1999
ISBN
9780792359043
Language
English
Genre
Philosophy, Logic, Mathematics, Science, Philosophy & social aspects
Category
Books