Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

History and philosophy of constructive type theory / Giovanni Sommaruga

Main Author Sommaruga, Giovanni Country Holanda. Publication Dordrecht : Kluwer Academic Publishers, cop. 2000 Description X, 354, [13] p. ; 24 cm Series Synthese library.. Studies in epistemology, logic, methodology and philosophy of science , 290 ISBN 0-7923-6180-6 CDU 510.6(091)
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 107500 Available 374990
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.