Cover Image

History and philosophy of constructive type theory /

Show other versions (1)
Bibliographic Details
Main Author: Sommaruga, Giovanni
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer, [2000]
Series:Synthese library ; v. 290.
Subjects:
Type theory.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA9 .S5845 2000
 
Call Number Status Get It
QA9 .S5845 2000 Available