ISBN-13: 9783319418414 / Angielski / Twarda / 2017 / 438 str.
ISBN-13: 9783319418414 / Angielski / Twarda / 2017 / 438 str.
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.