Doações 15 de Setembro 2024 – 1º de Outubro 2024 Sobre a angariação de fundos

Recursion theory. Computational aspects of definability

Main
Science (General)
Recursion theory. Computational aspects...

Recursion theory. Computational aspects of definability

Chong C.T., Yu L

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:

Science (General)

Ano:

2015

Editora:

de Gruyter

Idioma:

english

Páginas:

314

ISBN 10:

311038129X

ISBN 13:

9783110381290

Arquivo:

PDF, 1.55 MB

IPFS:

,

english, 2015

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

Figueira, Santiago Daniel — Untitled

Pudlák, Pavel; Buss, Samuel R.; Hájek, Petr (eds.) — Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

Rod Downey, Denis R. Hirschfeldt — Algorithmic Randomness and Complexity

— Descriptive Set Theory 001

H.C. Doets — Zermelo Fraenkel Set Theory 001

Bagaria J. (ed.), Todorcevic S. (ed.) — Set Theory: Centre de Recerca Matematica Barcelona, 2003-2004

Bagaria J., Todorcevic S. (Editors) — Set Theory. Centre de Recerca Matematica Barcelona

R. Mansfield, G. Weitkamp — Recursive aspects of descriptive set theory

Kechris A.S., Moschovakls Y.N. — Cabal Seminar 76-77

A. S. Kechris — Cabal Seminar 79 81

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

Stephen G. Simpson — Subsystems of Second Order Arithmetic

P. T. Johnstone — Notes on Logic and Set Theory

R.O. Gandy and C.M.E. Yates (Eds.) — Logic Colloquium '69

Yiannis N. Moschovakis — Descriptive set theory

Dominique Lecomte — Potential Wadge classes

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

David Marker — Lectures on Infinitary Model Theory

Johanna N Y Franklin; Christopher P Porter — Algorithmic Randomness: Progress and Prospects

Gerald E. Sacks — Higher Recursion Theory

Matthew Foreman, Akihiro Kanamori (Authors & Editors) — Handbook of Set Theory

Vassilios Gregoriades — Classes of Polish Spaces Under Effective Borel Isomorphism

Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel (eds.) — Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero — Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Chi Tat Chong, Liang Yu — Recursion Theory: Computational Aspects of Definability

Chi Tat Chong; Liang Yu — Recursion Theory: Computational Aspects of Definability

U. Felgner, T. B. Flannagan (auth.), Gert H. Müller, Dana S. Scott (eds.) — Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977

A. S. Kechris, Y. N. Moschovakis — Cabal Seminar 76-77

J. E. Fenstad — General recursion theory: An axiomatic approach

Gerald E. Sacks — Higher Recursion Theory

Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue — Mathematical logic and applications. Proc.meeting, Kyoto, 1987

Arnold W. Miller — Descriptive Set Theory and Forcing

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Stephen F. Barker (auth.), Jack J. Bulloff, Thomas C. Holyoke, Samuel W. Hahn (eds.) — Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

Todorcevic, Stevo; Bagaria, Joan (eds.) — Set theory. Centre de Recerca Matematica Barcelona, 2003-2004

Frases chave