Anderson and Belnap's invitation to sin
scientific article; zbMATH DE number 5796516