Pavlović, Duško 1957-
Dusko Pavlovic Ph.D. Universiteit Utrecht 1990
VIAF ID: 287422170 ( Personal )
Permalink: http://viaf.org/viaf/287422170
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Logics of authentication, lieing and obscurity | |
Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic |