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, c

An alternative history of software that places the liberal arts at the very center of software's evolution. In The Software Arts, Warren Sack offers an alternat

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26

Hilary Whitehall Putnam was one of the leading philosophers of the second half of the 20th century. As student of Rudolph Carnap's and Hans Reichenbach's, he we