The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Sing
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to pro
A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural dedu
An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences,
This book addresses the construction and application of the major types of basis sets for computational chemistry calculations. In addition to a general introdu