Recursive Functions and Metamathematics
Subtitle: Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library)
Edition: 1 edition
Publisher: Springer
Published: September 30, 1999
Language: eng
Format: Hardcover
Number of pages: 404
ISBN-13: 9780792359043
Subjects: Mathematical logic; Philosophy Of Mathematics; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; Recursive functions; Computer Science; Logic; Computers-Computer Science; Mathematics / Logic; Philosophy / Logic; Philosophy-Logic; Decidability (Mathematical logic); Decidability (Mathematical log; Godel's theorem; Gèodel's theorem