Introduction to mathematical logic by Alonzo Church | Menrva Books