|
|
|||
|
||||
OverviewPlease note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Hendrik Pieter (Henk) Barendregt (born 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University. Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, USA. He has been a visiting scholar at Darmstadt, ETH Z rich, Siena, and Kyoto. On February 6, 2003, Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002, he was knighted in the Orde van de Nederlandse Leeuw. Full Product DetailsAuthor: Iustinus Tim AveryPublisher: Cel Publishing Imprint: Cel Publishing Dimensions: Width: 15.20cm , Height: 0.80cm , Length: 22.90cm Weight: 0.209kg ISBN: 9786137451960ISBN 10: 6137451968 Pages: 136 Publication Date: 16 October 2011 Audience: General/trade , General Format: Paperback Publisher's Status: Unknown Availability: Not yet available This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||