This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz o...

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reaso...

This book presents a set of historical recollections on the work of Martin Davis and his role in ...

This treatise presents an integrated perspective on the interplay of set theory and graph theory,...

This treatise presents an integrated perspective on the interplay of set theory and graph theory,...

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz o...

This book presents a set of historical recollections on the work of Martin Davis and his role in ...