Skip to ContentSkip to Navigation
breed in kennis  -  sterk in techniek
Over ons Praktische zaken Waar vindt u ons S.A. Akbar Tabatabai, PhD

Publicaties

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic

On a Generalization of Heyting Algebras II