Background I am reading the book to get more understanding of type theory and logics establishment underneath programing. Though the book itself is not that easy for me. I found a pretty good summary here: www.logicmatters.net And here is …