People

Prof.dr Yde Venema

Click on picture for enlargement

Mailing Address

FNWI
ILLC
Universiteit van Amsterdam
P.O. Box 94242
1090 GE AMSTERDAM

Visiting Address

Room F1.04-1
Building F
Science Park 107
1098 XG Amsterdam

Primary affiliation

Mathematical & Computational Logic (MCL)

Projects

Derivation Systems for Modal Fixpoint Logics

Cyclic proofs for modal and higher-order logic

Phone

020-525 5299

E-mail

Personal Home Page