Theorem Proving in Higher Order LogicsStefan Berghofer, Tobias Nipkow, Christian Urban, Makarius WenzelHäftad556 kr