This authoritative reference work covers all aspects of logic, from its philosophical foundations to its technical applications in computer science. With contributions from leading scholars in the field, this book is a must-read for anyone looking to deepen their understanding of this important subject.
