Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Logic and computation / Lawrence C. Paulson

Main Author Paulson, Lawrence C Country Reino Unido. Publication Cambridge : Cambridge University Press, 1990 Description XIII, 302 p. ; 25 cm Series Cambridge tracts in theoretical computer science , 2) ISBN 0-521-39560-7 CDU 519.6 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 109445 Available 238309
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.