I agree that this site is using cookies. You can find further informations here.
X
Kleene, Stephen Cole
19  results:
Search for persons X
?
1

The Kleene Symposium 

proceedings of the symposium held June 18-24, 1978 at Madis...  Studies in logic and the foundations of mathematics ; v. 101
Kleene, Stephen Cole ; Barwise, Jon ; Keisler, H. Jerome. , 1980
Link: https://www.sciencedirec..
 
?
2

Mathematical Logic:

Londey, D. G. ; Kleene, Stephen Cole
The Philosophical Quarterly.  18 (1968)  72 - p. 273 , 1968
Link: https://doi.org/10.2307/..
 
?
3

Two papers on the predicate calculus 

American Mathematical Society. Memoirs ; Nr. 10
Kleene, Stephen Cole - 2. print., with rev . , 1967
Copies:  Zentrale:Magazin 01.b.0279
 
?
4

Introduction to metamathematics:

Kleene, Stephen Cole
http://hdl.handle.net/2027/uc1.c048029916.  , 1952
Link: http://hdl.handle.net/20..
 
?
5

Sets, logic, and mathematical foundations. [Lectures given ..:

Kleene, Stephen Cole, 1909-
http://hdl.handle.net/2027/mdp.39015017346720.  , 1956
Link: http://hdl.handle.net/20..
 
?
6

Formalized recursive functionals and formalized realizabili.. 

Memoirs of the American Mathematical Society ; 89
Kleene, Stephen Cole , 1969
Copies:  Zentrale:E02 a mat 022/709
 
?
7

The foundations of intuitionistic mathematics 

especially in relation to recursive functions  Studies in logic and the foundations of mathematics
Kleene, Stephen Cole ; Vesley, Richard Eugene , 1965
Copies:  Zentrale:E02 a mat 011/271
 
?
8

The foundations of intuitionistic mathematics 

Studies in Logic and the Foundations of Mathematics ; v. 39
Kleene, Stephen Cole ; Vesley, Richard Eugene , 1965
Link: https://www.sciencedirec..
 
?
9

Popper's Correspondence with Stephen Cole Kleene:

, In: The Logical Writings of Karl Popper; Trends in Logic,
Popper, Karl R. ; Kleene, Stephen C. - p. 489-490 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Reviews of Popper's Articles on Logic:

, In: The Logical Writings of Karl Popper; Trends in Logic,
Ackermann, Wilhelm ; Beth, Evert W. ; Curry, Haskell B.... - p. 221-233 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Mean curvature self-shrinkers of high genus: Non-compact ex..:

Kapouleas, Nikolaos ; Kleene, Stephen James ; Møller, Niels Martin
Journal für die reine und angewandte Mathematik (Crelles Journal).  2018 (2015)  739 - p. 1-39 , 2015
Link: https://doi.org/10.1515/..
 
?
12

An Addendum to The Work of Kurt Gödel:

Kleene, Stephen C.
The Journal of Symbolic Logic.  43 (1978)  3 - p. 613 ff. , 1978
Link: https://www.jstor.org/st..
 
?
13

The Work of Kurt Gödel:

Kleene, Stephen C.
The Journal of Symbolic Logic.  41 (1976)  4 - p. 761-778 , 1976
Link: https://www.jstor.org/st..
 
?
14

REALIZABILITY AND SHANIN'S ALGORITHM FOR THE CONSTRUCTIVE D..:

Kleene, Stephen C.
Logique et Analyse.  3 (1960)  11/12 - p. 154-165 , 1960
Link: https://www.jstor.org/st..
 
?
15

BOOK AND TREE:

Kleene, Alice Cole
The Phi Beta Kappa Key.  7 (1930)  9 - p. 566-568 , 1930
Link: https://www.jstor.org/st..
 
1-15