‘Recursion theory’ 검색 결과

Recursion Theory

Joseph R. Shoenfield, 2016 / 판 8개

Higher recursion theory

Gerald E. Sacks, 1990 / 판 5개

Complexity, Logic, and Recursion Theory

Andrea Sorbi, Zuhair Nashed, Earl Taft, 1997 / 판 6개

Recursion Theory

Chi Tat Chong, Liang Yu, 2015 / 판 4개

Computability theory

Herbert B. Enderton, 2010 / 판 5개

General Recursion Theory

Jens E. Fenstad, 2016 / 판 3개

General recursion theory

Jens Erik Fenstad, 1980 / 판 2개

Recursion theory

Joseph R. Shoenfield, 1993 / 판 2개

Recursion theory

Anil Nerode, Richard A. Shore, 1984 / 판 2개

Recursion theory for metamathematics

Raymond M. Smullyan, 1993 / 판 2개

Computability, enumerability, unsolvability

S. B. Cooper, 1996 / 판 5개

Classical Recursion Theory

P. Odifreddi, 1992

Recursion Theory, Its Generalisations and Applications

F. R. Drake, S. S. Wainer, 1980 / 판 3개

Classical recursion theory

Piergiorgio Odifreddi, 1989

Ordinal Definability and Recursion Theory

Alexander S. Kechris, Benedikt Löwe, John R. Steel, 2015 / 판 2개

General recursion theory

J. E. Fewstad, 1980

Algebraic recursion theory

Ivanov, L. L., 1986

Algebraic Recursion Theory

Contributions to axiomatic recursion theory and related aspects of alpha-recursion theory

Jhu, 1973

Bounded queries in recursion theory

William I. Gasarch, William Gasarch, Georgia Martin, 1998 / 판 3개