Image from Amazon.com
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Series: Applied Logic Series ; 29Publication details: Dordrecht : Springer Science+Business Media, Inc., 2005.Description: xiv, 357 p. : digital ; 25 cmISBN:- 9781402023354 (electronic bk.)
- 9781402023347 (paper)
- 511.3 22
- QA9 .K225 2005
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.