Type Theory and Formal Proof: An Introduction

cover

@Book{            book:1310050,
  Author        = "Nederpelt, Rob and Geuvers, Herman",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "110703650X,9781107036505",
  Publisher     = "Cambridge University Press",
  Title         = "Type Theory and Formal Proof: An Introduction",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=7399076645a545881d6c2dc106a26a6a",
  Year          = "2014",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=7399076645a545881d6c2dc106a26a6a",
  File          = "Type Theory and Formal Proof - [Professor\_Rob\_Nederpelt,\_Professor\_Herman\_Geuvers(z-lib.org) (0) - a - a.pdf"
}

@Book{ book:1310050, Author = "Nederpelt, Rob and Geuvers, Herman", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "110703650X,9781107036505", Publisher = "Cambridge University Press", Title = "Type Theory and Formal Proof: An Introduction", URL = "http://gen.lib.rus.ec/book/index.php?md5=7399076645a545881d6c2dc106a26a6a", Year = "2014", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=7399076645a545881d6c2dc106a26a6a", File = "Type Theory and Formal Proof - [Professor_Rob_Nederpelt,_Professor_Herman_Geuvers(z-lib.org) (0) - a - a.pdf" }