Predicates and fibrations
Subtitle: from type theoretical to category theoretical presentation of constructive logic
By: Duško Pavlović
Contributors: Rijksuniversiteit te Utrecht
Publisher: [s.n.]
Published: 1990
Place of publication: [s.l.]
Language: eng
Number of pages: 237
Notes: Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1990.

Met lit. opg., index en een samenvatting in het Nederlands.