Formalized Recursive Functionals and Formalized...

Main
Mathematics - Logic
Formalized Recursive Functionals and...

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Mathematics - Logic

Տարի:

1969

Հրատարակչություն:

American Mathematical Society

Լեզու:

english

Էջեր:

106

ISBN 10:

0821812890

ISBN 13:

9780821812891

Սերիաներ:

American Mathematical Society Memoir 89

Ֆայլ:

PDF, 11.80 MB

IPFS:

,

english, 1969

Կարդալ Առցանց

Ներբեռնել (pdf, 11.80 MB)

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

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

Հիմնական արտահայտություններ