Higher Order Logic Theorem Proving and Its ApplicationsThomas F. Melham, Juanito CamilleriHäftad534 kr