The Logical Basis for Computer Programming. Vol. 2, Deductive SystemsZohar MannaÉpuisé4,4Prévenez-moi
