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:(83)99 kr
4 för 3Del 11Döda själar sjunger inteStine Bolther, Line Holm, Jussi Adler-OlsenPocket, 20264,6 utav 5 stjärnor. Totalt antal röster:(7)69 kr