Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic
type: Book
type: CreativeWork
type: ProductModel
issued: 1990
about: p077601874
about: p078634660
about: p078465737
about: p075665506
author: p079664997
description: Proefschrift Utrecht
language: en
main entity of page: https://data.bibliotheken.nl/.well-known/genid/8be5f1997c92a0d8b38d5a425593283b
number of pages: 237
label: Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic / Duško Pavlović