History and philosophy of constructive type theory by Giovanni Sommaruga

By:

Publication details: Dordrecht ; Boston Kluwer c2000Description: x, 354 p. ; 25 cm., : acid-free paperISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 SOM (Browse shelf(Opens below))	Available		210742

Includes bibliographical references

There are no comments on this title.

to post a comment.

Find us on the map