Gödel '96
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

9781316716939
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gödel and the Theory of Everything

Gödel '96 ◽  
2017 ◽  
pp. 291-306
Author(s):  
Michael Stöltzner
Keyword(s):  
Theory Of Everything

Decidability of the Class in the Membership Theory NWL

Gödel '96 ◽  
2017 ◽  
pp. 183-194
Author(s):  
Dorella Bellé ◽  
Franco Parlamento

K-graph Machines: generalizing Turing's machines and arguments

Gödel '96 ◽  
2017 ◽  
pp. 98-119 ◽  
Author(s):  
Wilfried Sieg ◽  
John Byrnes

How to characterize provably total functions

Gödel '96 ◽  
2017 ◽  
pp. 205-213 ◽  
Author(s):  
Benjamin Blankertz ◽  
Andreas Weiermann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document