Logic, Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level ...

Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional ...

Proceedings -- General.

This volume brings together many contributions from leading research scientists, engineers and practitioners in computer science. Selected by program committee members, the ...

This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science ...