Computing and logic: mathematics and language - Satty, Glenn (Introductiones., 1988)