ENGLISH

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

By Roman Murawski

Book information

Publisher
Springer
ISBN
9048152984, 9789048152988
Language
english
Format
DJVU
Filesize
3 MB (2874276 bytes)
Series
SL 286
Edition
reprint
Pages
395\406
Time added
2018-03-24 16:13:26
Computer Science;AI & Machine Learning;Bioinformat

Similar books