Empirische WirtschaftsforschungThomas K. Bauer, Michael Fertig, Christoph M. SchmidtHäftad, 2009509 kr
Higher Order Logic Theorem Proving and Its ApplicationsThomas F. Melham, Juanito CamilleriHäftad, 1994544 kr