Logic and system by Clark E. Clark & Clifford E. Clark