Theorem Proving in Higher Order LogicsMakarius Wenzel, Christian Urban, Tobias Nipkow, Stefan Berghofer E-bok2009712 kr
Theorem Proving in Higher Order LogicsStefan Berghofer, Tobias Nipkow, Christian Urban, Makarius WenzelHäftad, 2009562 kr
4 för 3Brevbäraren i LizzanelloFrancesca GiannonePocket, 20264,3 utav 5 stjärnor. Totalt antal röster:(84)99 kr