Normal view MARC view ISBD view

Introduction to higher order categorical logic / J. Lambek, P. J. Scott

Main Author Lambek, J. Coauthor Scott, P. J. Country Reino Unido. Publication Cambridge : Cambridge University Press, imp. 1989 Description X, 293 p. : il. ; 23 cm Series Cambridge studies in advanced mathematics , 7 ISBN 0-521-35653-9 CDU 512.58
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
BGUM 512.58 - L Available 55268
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.