7 treff

Mathematical logic
Stephen Cole Kleene
Bok Engelsk 2002
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Stegmüller, Wolfgang
Bok Tysk 1970
Mathematical logic
Stephen Cole Kleene
Bok Engelsk 1968
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Stephen Cole Kleene, Richard Eugene Vesle...
Bok Engelsk 1965
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Stegmüller, Wolfgang
Bok Tysk 1959
Introduction to metamathematics
by Stephen Cole Kleene.
Bok Engelsk 1952
Two papers on the predicate calculus
Kleene, Stephen Cole
Bok Engelsk 1951