wyszukanych pozycji: 7
Selected Logic Papers
ISBN: 9789810232672 / Angielski / Twarda / 1999 / 452 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 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.
The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to cl...
|
|
cena:
760,80 zł |
Higher Recursion Theory
ISBN: 9781107168435 / Angielski / Twarda / 2017 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
|
|
cena:
657,42 zł |
Degrees of Unsolvability
ISBN: 9780691079417 / Angielski / Miękka / 1963 / 192 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming. The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming. |
|
cena:
414,23 zł |
Mathematical Logic in the 20th Century
ISBN: 9789810247362 / Angielski / Twarda / 2003 / 708 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 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 Godel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.
This invaluable book is a collection of 31 important -- both in ideas and results -- papers published by mathematical logicians in the 20th Century. T...
|
|
cena:
1180,55 zł |
Saturated Model Theory (2nd Edition)
ISBN: 9789812833815 / Angielski / Twarda / 2009 / 220 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 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.
This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book...
|
|
cena:
283,33 zł |
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
ISBN: 9783540527725 / Angielski / Miękka / 1990 / 400 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the develo...
|
|
cena:
136,94 zł |
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
ISBN: 9783540156734 / Angielski / Miękka / 1985 / 420 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Springer Book Archives
Springer Book Archives
|
|
cena:
195,71 zł |