Häftad, Engelska, 1963
814 kr
Skickas inom 5-8 vardagar
The description for this book, Degrees of Unsolvability. (AM-55), will be forthcoming.
Gerald E. Sacks – författare
Visar alla böcker från författaren Gerald E. Sacks. Handla med fri frakt och snabb leverans.
12 produkter
12 produkter
- Del 2 - Perspectives in Logic
Higher Recursion Theory
Inbunden, Engelska, 20171 945 kr
Skickas inom 5-8 vardagar
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, α-recursion, and E-recursion. This text is essential reading for all researchers in the field. - E-bokPDF, Engelska, 2016
1 144 kr
Läs direkt efter köp
A classic treatment of degrees of unsolvability from the acclaimed Annals of Mathematics Studies seriesPrinceton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.To mark the continued success of the series, all books are available in paperback and as ebooks.
- Del 1141 - Lecture Notes in Mathematics
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Häftad, Engelska, 1985560 kr
Skickas inom 10-15 vardagar
- E-bokPDF, Engelska, 2006
712 kr
Läs direkt efter köp
- E-bokPDF, Engelska, 2006
364 kr
Läs direkt efter köp
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types. - E-bokPDF, Engelska, 2006
431 kr
Läs direkt efter köp
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. - Del 1429 - Lecture Notes in Mathematics
Logic and Computer Science
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Häftad, Engelska, 1990283 kr
Skickas inom 10-15 vardagar
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types. - Del 1432 - Lecture Notes in Mathematics
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Häftad, Engelska, 1990394 kr
Skickas inom 10-15 vardagar
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. - Inbunden, Engelska, 2009
876 kr
Skickas inom 5-8 vardagar
This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book include saturated model criteria for model completeness and elimination of quantifiers; Morley rank and degree of element types; categoricity in power; two-cardinal theorems; existence and uniqueness of prime model extensions of substructures of models of totally transcendental theories; and homogeneity of models of ϖ1-categorical theories. - Del 6 - WORLD SCIENTIFIC SERIES IN 20TH CENTURY MATHEMATICS
SELECTED LOGIC PAPERS
Inbunden, Engelska, 19992 587 kr
Tillfälligt slut
The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical. - Inbunden, Engelska, 2003
4 005 kr
Tillfälligt slut
This invaluable book is a collection of 31 important — both in ideas and results — papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Gödel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.
