A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
Main Author
Kamareddine, Fairouz
Coauthor
Laan, Twan
Nederpelt, Rob P.
Country
Reino Unido.
Publication
London : Kluwer Academic Publishers, [imp. 2010]
Description
XIV, 357 p. ;
24 cm
Series
Applied logic series , 29
ISBN
1-4020-2334-0
978-1-4020-2334-7
CDU
510.6
There are no comments for this item.