00902cam a2200241 i 45000010009000000050017000090080041000260100017000670200025000840350013001090400029001220420008001510500019001590820014001780840023001921000029002152450224002442600052004683000028005206500017005486500058005657000037006231808383220260706230521.0140327s2014    enk      b    001 0 eng    a  2014010865  a9781107036505 (hbk.)  a18083832  aDLCbengcKreaerdadDLC  apcc00aQA9b.N37 201400a551.3 NED  aCOM0510102bisacsh1 aNederpelt, Rob,eauthor.10aType 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. 7aCOMPUTERS / Programming Languages / General.2bisacsh1 aGeuvers, Herman,d1964-eauthor.