Formalized Recursive Functionals and Formalized...

Main
Mathematics - Logic
Formalized Recursive Functionals and...

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Mathematics - Logic

Tahun:

1969

Penerbit:

American Mathematical Society

Bahasa:

english

Halaman:

106

ISBN 10:

0821812890

ISBN 13:

9780821812891

Nama siri:

American Mathematical Society Memoir 89

Fail:

PDF, 11.80 MB

IPFS:

,

english, 1969

Baca dalam Talian

Memuat turun (pdf, 11.80 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Stephen Cole Kleene, Richard Eugène Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen C Kleene — Turing's Analysis of Computability and Major Applications of it (Oxford

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected works. Publications 1929-1936

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

Stephen Cole Kleene, R.E. Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

S.C. Kleene — Introduction to Metamathematics

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

S. C. Kleene — Classical extensions of intuitionistic mathematics [one chapter from the book only]

Church, Alonzo — The calculi of lambda-conversion

D. A Clarke — Hierarchies of predicates of finite types,

Yehoshua Bar-Hillel — Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

L.E. Sanchis — Recursive functionals

Katalin Bimbo (Author) — Combinatory Logic: Pure, Applied and Typed

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

Bristol, Eng., 1973. Logic Colloquium — Logic Colloquium '73

Fenstad J.E., Gandy R.O., Sacks G.E. (eds.) — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

J. Stern — Proceedings of the Herbrand symposium: Logic colloquium '81, Marseilles, 1981

Stephen Cole Kleene — Mathematical Logic

R. E. Davis — Truth, deduction, and computation: logic and semantics for computer science

Rose H.E., Shepherdson J.C. (ed.) — Logic Colloquium '73: Proceedings Bristol, 1973

Stephen C. Kleene — Two Papers on the Predicate Calculus

Clarke D.A. — Hierarchies of predicates of finite types

Stephen C. Kleene — Formalized Recursive Functionals and Formalized Realizability

Dekker J. (ed.) — Recursive Function Theory

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

Jens E. Fenstad — General Recursion Theory: An Axiomatic Approach

George Tourlakis — Theory of Computation

Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.) — Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

George Tourlakis — Computability

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

Eugenio G. Omodeo, Alberto Policriti (eds.) — Martin Davis on Computability, Computational Logic, and Mathematical Foundations

J. E. Fenstad — General Recursion Theory: An Axiomatic Approach

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.) — Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Ofer Arieli, Arnon Avron (auth.), Dirk van Dalen, Marc Bezem (eds.) — Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Lex Augusteijn (auth.), S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques (eds.) — Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

Gerald E. Sacks — Selected Logic Papers

Istilah utama