Formal Methods, an Introduction to Symbolic Logic and the the Study of Effective Operations in Arithmetic and Logic