\begin{itemize}
\item
Computer science is the mathematical study of algorithms.
\item
A programming language is a notation for expressing algorithms.
\item
The way in which programming languages are studied is based
on the way in which logical systems are studied.
\item
Axiomatic semantics is the application of proof theory
to the study of programming languages.
\end{itemize}