LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3 (DDC 22)
Title	A Modern Perspective on Type Theory ([Ebook]) : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Author	Kamareddine, Fairouz
Added Personal Name	Laan, Twan
Added Personal Name	Nederpelt, Rob
Other name(s)	SpringerLink (Online service)
Publication	Dordrecht : Springer , 2005
Physical Details	: v.: digital
Series	Applied Logic Series 1386-2790 ; 29
ISBN	9781402023354
System details note	Online access to this digital book is restricted to subscribing institutions through IP address (only for internal SISSA users)
Internet Site	http://dx.doi.org/10.1007/1-4020-2335-9
Links to Related Works	Subject References: Logic . Logic, Symbolic and mathematical . Mathematics . Type theory . Authors: Kamareddine, Fairouz . Laan, Twan . Nederpelt, Rob . Corporate Authors: SpringerLink (Online service) . Series: Applied Logic Series . Classification: 511.3 (DDC 22) .

Catalogue Display