Related Books
Language: en
Pages: 122
Pages: 122
Type: BOOK - Published: 2016-03-02 - Publisher: Princeton University Press
The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.
Language: en
Pages: 122
Pages: 122
Type: BOOK - Published: 1965 - Publisher:
Language: en
Pages: 122
Pages: 122
Type: BOOK - Published: 1963 - Publisher:
Language: en
Pages: 793
Pages: 793
Type: BOOK - Published: 2016-11-30 - Publisher: Springer
This book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization and Applications, COCOA 2016, held in Hong Kon
Language: en
Pages: 478
Pages: 478
Type: BOOK - Published: 2000-04-01 - Publisher: Elsevier
Provability, Computability and Reflection