The Logical Basis for Computer Programming. Vol. 2, Deductive SystemsRichard WaldingerSold out4.5Track