Formalized Recursive Functionals and Formalized...

Main
Mathematics - Logic
Formalized Recursive Functionals and...

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Mathematics - Logic

Năm:

1969

Nhà xuát bản:

American Mathematical Society

Ngôn ngữ:

english

Trang:

106

ISBN 10:

0821812890

ISBN 13:

9780821812891

Loạt:

American Mathematical Society Memoir 89

File:

PDF, 11.80 MB

IPFS:

,

english, 1969

Tải vè (pdf, 11.80 MB)

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

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

Từ khóa thường sử dụng nhất