RecordNumber
320
Author
Thomas Streicher
Title
Semantics of type theory.correctness completeness and independence results
Publication
Birkhauser
Publication Year
1991
Collation
309
ISBN
0817635947
Link To Document
https://dl.iust.ac.ir/dl/search/default.aspx?Term=320&Field=0&DTC=11