Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic / Duško Pavlović
Proefschrift Utrecht
| rdfs:label | "Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic / Duško Pavlović" |
| schema:name | "Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic" |
| schema:author | Pavlović, Duško (1957-) |
| schema:description | "Proefschrift Utrecht" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1990" |
| schema:about |
<http:/ |
| Predicate logic | |
| Category theory (mathematics) | |
| wiskundige logica | |
|
schema:in |
"en" |
|
schema:number |
237 |
| schema:publication |
<https:/ |