RecordNumber
43286
Author
Thomas Streicher
Title
Semantics of type theory.correctness completeness and independence results
Publication
Birkhauser
Publication Year
1991
Collation
309
نام فايل
IUST eb-106 -- eb106d22
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=43286&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company