Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Smullyan, Raymond M.
~ 100  Ergebnisse:
Personensuche X
?
1

Recursion theory for metamathematics 

Oxford logic guides, 22
Smullyan, Raymond M , 2020
Link: https://dx.doi.org/10.10..
 
?
2

Gödel's incompleteness theorems 

Oxford logic guides, 19
Smullyan, Raymond M , 2020
Link: https://dx.doi.org/10.10..
 
?
3

Theory of Formal Systems 

(AM-47)  Annals of Mathematics Studies ; 47
Smullyan, Raymond M. , 2016
Link: https://doi.org/10.1515/..
 
?
4

The Mathematics of Various Entertaining Subjects 

Research in Recreational Math 
Beineke, Jennifer. ; Smullyan, Raymond M. ; Rosenhouse, Jason , [2016]
Link: https://doi.org/10.1515/..
 
?
5

Truth and Provability:

Smullyan, Raymond M.
The Mathematical Intelligencer.  35 (2012)  1 - p. 21-24 , 2012
Link: https://doi.org/10.1007/..
 
?
6

An Isomorphism Related to Gödel's Fundamental Operations:

Smullyan, Raymond M.
Logic Journal of IGPL.  12 (2004)  6 - p. 439-445 , 2004
Link: https://doi.org/10.1093/..
 
?
7

Who knows?: a study of religious consciousness:

Smullyan, Raymond M , 2003
Link: https://search.ebscohost..
 
?
8

Uniform Gödelization:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 141-158 , 1993
Link: https://doi.org/10.1093/..
 
?
9

Universal and Doubly Universal Systems:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 82-88 , 1993
Link: https://doi.org/10.1093/..
 
?
10

Undecidability and Recursive Inseparability:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 38-47 , 1993
Link: https://doi.org/10.1093/..
 
?
11

Indexing:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 48-57 , 1993
Link: https://doi.org/10.1093/..
 
?
12

Double Generativity and Complete Effective:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 67-81 , 1993
Link: https://doi.org/10.1093/..
 
?
13

Shepherdson Revisited:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 89-93 , 1993
Link: https://doi.org/10.1093/..
 
?
14

Recursion Theorems:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 94-104 , 1993
Link: https://doi.org/10.1093/..
 
?
15

Productivity and Double Productivity:

, In: Recursion Theory for Metamathematics,
Smullyan, Raymond M - p. 120-127 , 1993
Link: https://doi.org/10.1093/..
 
1-15