History and philosophy of constructive type theory / by Giovanni Sommaruga
(Synthese library ; v. 290)
Publisher | Dordrecht ; Boston : Kluwer Academic |
---|---|
Year | c2000 |
Authors | *Sommaruga, Giovanni |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|
Library Main Building Basement (Foreign Books, Code Classification) |
|
1080:2:290 | 120002192H |
|
|
|
|