A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
By: Kamareddine, Fairouz.
Contributor(s): Laan, Twan | Nederpelt, Rob | SpringerLink (Online service).
Material type:
BookSeries: Applied Logic Series, 29.Publisher: Dordrecht : Springer Netherlands, 2005Description: digital.ISBN: 9781402023354.Subject(s): Mathematics | Logic | Computer science | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and Foundations | Mathematics of Computing | LogicDDC classification: 511.3 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.