Computability and Logic

Computability and Logic

Daniel E. Cohen

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Categorias:

Computers - Programming
Mathematics - Logic

Ano:

1987

Editora:

Ellis Horwood Ltd , Publisher

Idioma:

english

Páginas:

251

ISBN 10:

0745800343

ISBN 13:

9780745800349

Série:

Mathematics and its Applications

Arquivo:

DJVU, 2.40 MB

IPFS:

,

english, 1987

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

Nigel Cutland — Computability : An Introduction to Recursive Function Theory

The Open Logic Project (anonymous collaboration) — Open Logic Text

Forster T. — Logic, induction and sets

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

Micha l. Walicki — Introduction to Logic

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Davis, Martin;Sigal, Ron;Weyuker, Elaine J — Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Martin Davis, Elaine J. Weyuker — Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science

Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science

Monk, James Donald — Mathematical logic

Neil D. Jones and Robert L. Ashenhurst (Auth.) — Computability Theory. An Introduction

Ann Yasuhara — Recursive function theory and logic

David Hopkin, Barbara Moss (auth.) — Automata

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

J. Donald Monk — Mathematical Logic

Yu. I. Manin — A Course in Mathematical Logic

Crossley J.N., Dummett M.A.E. (eds.) — Formal Systems and Recursive Functions (Logic Colloquium'63)

Edward R. Griffor (ed.) — Handbook of Computability Theory

Martin Davis — Computability and unsolvability

— Computability and Logic Boolos

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

George Boolos, Richard C. Jeffrey — Computability and Logic

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

Thomas Forster — Logic, Induction and Sets

Daniel E. Cohen — Computability and Logic

Nigel Cutland — Computability

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) — New Computational Paradigms: Changing Conceptions of What is Computable

Elliott Mendelson (auth.) — Introduction to Mathematical Logic

Neil D. Jones — Computability Theory: An Introduction

Peter G. Hinman — Fundamentals of Mathematical Logic

George Tourlakis — Computability

David Marker — An Invitation to Mathematical Logic

Daniel Cunningham — Mathematical Logic: An Introduction

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

Frases chave