Yde Venema

Œuvres (2)

Couverture : Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Modal Logic (Cambridge Tracts in Theoretical Computer Science)

2001
Couverture : Multi-dimensional modal logic

Multi-dimensional modal logic

1997