Filter
An introduction to natural language semantics that offers an overview of the empirical domain and an explanation of the mathematical concepts that underpin the discipline.This …
Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and philosophy.Alonzo Church's long …
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use …