Mathematical logic and probability with basic programming - Dorn, William S. (Prindle, 1973)