Home Advanced Search

Advanced Search - Page 1

Mathematical Logic
  • PDF
  • English
  • Year: 2002
  • Author: Kleene S. C.
Two Papers on the Predicate Calculus
  • PDF
  • English
  • Year: 1997
  • Author: Stephen C. Kleene
Two Papers on the Predicate Calculus
  • DJVU
  • English
  • Year: 1997
  • Author: Stephen C. Kleene
Formalized Recursive Functionals and Formalized Realizability
  • DJVU
  • English
  • Year: 1969
  • Author: Stephen C. Kleene
Collected works. Publications 1938-1974
  • DJVU
  • English
  • Year: 1989
  • Author: Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort
Introduction to Metamathematics
  • DJVU
  • English
  • Year: 1952
  • Author: S.C. Kleene
Introduction to Metamathematics (Bibliotheca Mathematica) (Bibliotheca Mathematica)
  • DJVU
  • English
  • Year: 1952
  • Author: S.C. Kleene
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983
  • DJVU
  • English
  • Year: 1987
  • Author: Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983
  • PDF
  • English
  • Year: 1987
  • Author: Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
Introduction to Metamathematics
  • DJVU
  • English
  • Year: 1971
  • Author: Kleene, Stephen Cole
search