Manuel Lerman – författare
Visar alla böcker från författaren Manuel Lerman. Handla med fri frakt och snabb leverans.
2 produkter
A Framework for Priority Arguments
Inbunden, 2010
1987 kr
Lägg i varukorg
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the …
Degrees of Unsolvability
Local and Global Theory
Inbunden, 2017
1987 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. In this volume, the eleventh publication in the …
