An edition of Recursive Functions and Metamathematics (1999)
Recursive Functions and Metamathematics
Problems of Completeness and Decidability, Gödel's Theorems
By Roman Murawski
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1999
Publisher
Springer Netherlands
Language
eng
Pages
395
Book Lists