Hierarchies of predicates of finite types,

Main
Mathematics - Logic
Hierarchies of predicates of finite...

Hierarchies of predicates of finite types,

D. A Clarke

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Mathematics - Logic

Год:

1964

Издательство:

American Mathematical Society

Язык:

english

Страницы:

95

Серия:

Memoirs of the American Mathematical Society

Файл:

PDF, 4.38 MB

IPFS:

,

english, 1964

Читать Онлайн

Скачать (pdf, 4.38 MB)

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

J.B. Paris, A.J. Wilkie and G.M. Wilmers (Eds.) — Logic Colloquium '84

Stephen Cole Kleene, Richard Eugène Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

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

S.C. Kleene — Introduction to Metamathematics

Sacks, Gerald E. — Degrees of unsolvability.

Sacks, Gerald E. — Degrees of unsolvability.

H. E. Rose — Subrecursion: Functions and Hierarchies

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

Stephen Cole Kleene, R.E. Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

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

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

Martin Davis — Computability and unsolvability

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

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Clarke D.A. — Hierarchies of predicates of finite types

George J. Tourlakis — Computability

Manuel Lerman — Degrees of Unsolvability: Local and Global Theory

Peter G. Hinman — Recursion-Theoretic Hierarchies

Gerald E. Sacks — Higher Recursion Theory

Gerald E. Sacks — Degrees of Unsolvability. (AM-55), Volume 55

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

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

George Tourlakis — Computability

Martin H. Löb — Proceedings of the Summer School in Logic, Leeds, 1967. NATO ASI Meeting of the Association for Symbolic Logic

R. Parikh — Logic colloquium. Symposium on logic, Boston, 1972-73

Peter Hinman — Recursion-theoretic hierarchies

M. Lerman — Degrees of unsolvability: Local and global theory

Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks — Recursion Theory Week. Proceedings conference Oberwolfach, 1984

Gerald E. Sacks — Higher Recursion Theory

Juha M.R. Oikkonen, Jouko Väänänen — Logic colloquium '90: Proc. Helsinki 1990

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Peter G. Hinman — Recursion-Theoretic Hierarchies

Manuel Lerman — Degrees of Unsolvability: Local and Global Theory

Sanchis, Luis E — Set Theory-An Operational Approach

Ключевые слова