The Logical Basis for Computer Programming. Vol. 2, Deductive SystemsZohar MannaUitverkocht4,4Hou mij op de hoogte