Gerald E. Sacks – författare & böcker

Degrees of Unsolvability

AvGerald E. Sacks

Häftad, Engelska, 1963

817 kr

Skickas inom 5-8 vardagar

The description for this book, Degrees of Unsolvability. (AM-55), will be forthcoming.

Del 2 - Perspectives in Logic

Higher Recursion Theory

AvGerald E. Sacks

Inbunden, Engelska, 2017

1 930 kr

Skickas inom 7-10 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.

Degrees of Unsolvability

AvGerald E. Sacks

E-bok

PDF, Engelska, 2016

1 136 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

AvHeinz-Dieter Ebbinghaus,Gert H. Müllerm. fl.

Häftad, Engelska, 1985

543 kr

Skickas inom 10-15 vardagar

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

AvGerald E. Sacks,Gert H. Mullerm. fl.

E-bok

PDF, Engelska, 2006

712 kr

Läs direkt efter köp

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

AvAndre Scedrov,Gerald E. Sacksm. fl.

E-bok

PDF, 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.

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

AvGerald E. Sacks,Gert H. Mullerm. fl.

E-bok

PDF, Engelska, 2006

413 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

AvSteven Homer,Anil Nerodem. fl.

Häftad, Engelska, 1990

275 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

AvKlaus Ambos-Spies,Gert H. Müllerm. fl.

Häftad, Engelska, 1990

382 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.

Saturated Model Theory (2nd Edition)

AvGerald E Sacks

Inbunden, Engelska, 2009

869 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

AvSACKS G E,Gerald E Sacks

Inbunden, Engelska, 1999

2 477 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.

Mathematical Logic In The 20th Century

AvSACKS GERALD E,Gerald E Sacks

Inbunden, Engelska, 2003

3 161 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.

Företag, bibliotek eller offentlig verksamhet?

Gerald E. Sacks – författare

Degrees of Unsolvability

Higher Recursion Theory

Degrees of Unsolvability

Recursion Theory Week

Recursion Theory Week

Logic and Computer Science

Recursion Theory Week

Logic and Computer Science

Recursion Theory Week

Saturated Model Theory (2nd Edition)

Selected Logic Papers

Mathematical Logic In The 20th Century

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration