ISABELLE/HOL A PROOF ASSISTANT FOR HIGHER- ORDER LOGIC Author: NIPKOW Publisher: SPRINGER ISBN: 9783540433767 ₨ 11,087 Add to cart
