Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

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
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 107464 Available 404270
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.