00977cam a2200265 i 45000010009000000050017000090080041000260100017000670200025000840350013001090400029001220420008001510500019001590820014001780840023001921000034002152450224002492600052004733000028005256500022005536500063005757000042006389420012006809990019006921808383220260706230521.0140327s2014    enk      b    001 0 eng    a  2014010865  a9781107036505 (hbk.)  a18083832  aDLCbengcKreaerdadDLC  apcc00aQA9b.N37 201400a551.3 NED  aCOM0510102bisacsh1 aNederpelt, Rob,eauthor.938210aType theory and formal proof: an introduction /cRob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands.  aCambridge ;bCambridge University Press,c2014.  avii, 436 pages ;c25 cm 0aType theory.9425 7aCOMPUTERS / Programming Languages / General.2bisacsh94261 aGeuvers, Herman,d1964-eauthor.9427  2ddccBK  c124441d124441