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.
Description
Physical Description:x, 354 pages ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:0792361806 (acid-free paper)