Patrick Blackburn

Œuvres (1)

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

Modal Logic (Cambridge Tracts in Theoretical Computer Science)

2001