Author books / Книги автора Stephen Cole Kleene » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Stephen Cole Kleene

book Mathematical Logic

Mathematical Logic

djvu

Author: Stephen Cole Kleene
Language: English
Year: 2002

00

13.02.2024

0

0

book Collected Works: Volume I: Publications 1929-1936 (Collected Works of Kurt Godel)

Collected Works: Volume I: Publications 1929-1936 (Collected Works of Kurt Godel)

pdf

Author: Kurt Godel Solomon Feferman (editor) John W. Dawson Jr. (editor) Stephen C. Kleene (editor) Gregory H. Moore (editor) Robert M. Solovay (editor) Jean van Heijenoort (editor)
Language: English
Year: 1986

00

12.02.2024

0

0

book Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

pdf

Author: Kurt Gödel S. Feferman (editor) John W. Dawson Jr. (editor) Stephen C. Kleene (editor) G. Moore (editor) R. Solovay (editor) Jean van Heijenoort (editor)
Language: English
Year: 1986

00

05.02.2024

0

0

book Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

djvu

Author: Stephen C. Kleene
Language: English
Year: 1997

00

29.01.2024

0

0

book Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

djvu

Author: Stephen C. Kleene
Language: English
Year: 1969

00

29.01.2024

0

0

book Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

pdf

Author: Stephen C. Kleene
Language: English
Year: 1969

00

27.01.2024

0

0

book Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

pdf

Author: Stephen C. Kleene
Language: English
Year: 1997

00

27.01.2024

0

0

book Introduction to Metamathematics

Introduction to Metamathematics

pdf

Author: Stephen Cole Kleene
Language: English
Year: 1971

00

27.01.2024

0

0

book Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

djvu

Author: Rudolf Gödel Olga Taussky-Todd Stephen C. Kleene Georg Kreisel (auth.) Paul Weingartner Leopold Schmmetterer (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

pdf

Author: Rudolf Gödel Olga Taussky-Todd Stephen C. Kleene Georg Kreisel (auth.) Paul Weingartner Leopold Schmmetterer (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0