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
Degrees of Unsolvability
Häftad, 1963
1508 kr
Lägg i varukorg
The description for this book, Degrees of Unsolvability. (AM-55), will be forthcoming.
Higher Recursion Theory
Inbunden, 2017
2345 kr
Lägg i varukorg
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 …
Degrees of Unsolvability
E-bok, 2016
1144 kr
Lägg i varukorg
A classic treatment of degrees of unsolvability from the acclaimed Annals of Mathematics Studies series Princeton 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 …
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Av Heinz-Dieter Ebbinghaus, Gert H. Müller m. fl.
Häftad, 1985
552 kr
Lägg i varukorg
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Av Gerald E. Sacks, Gert H. Muller m. fl.
E-bok, 2006
712 kr
Lägg i varukorg
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
Av Andre Scedrov, Gerald E. Sacks m. fl.
E-bok, 2006
364 kr
Lägg i varukorg
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 …
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Av Gerald E. Sacks, Gert H. Muller m. fl.
E-bok, 2006
440 kr
Lägg i varukorg
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, …
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
Av Steven Homer, Anil Nerode m. fl.
Häftad, 1990
279 kr
Lägg i varukorg
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 …
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Av Klaus Ambos-Spies, Gert H. Müller m. fl.
Häftad, 1990
387 kr
Lägg i varukorg
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, …
SATURATED MODEL THEORY (2ND EDITION)
Inbunden, 2009
895 kr
Lägg i varukorg
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 …
SELECTED LOGIC PAPERS
Av Gerald E Sacks, Gerald E Sacks
Inbunden, 1999
2643 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 …
MATHEMATICAL LOGIC IN THE 20TH CENTURY
Av SACKS GERALD E, Gerald E Sacks
Inbunden, 2003
4094 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, …
