Kripke’s Worlds:An Introduction to Modal Logics via Tableaux
by: Gasquet, Olivier; Herzig, Andreas; Said, Bilal; Schwarzentruber, François
Publisher: Springer ( 2013-11-20 )
ISBN-13: 9783764385033
e-ISBN-13: 9783764385040
ISBN-10: 3764385030
Edition: 1
Language: English
未经允许不得转载：Wow! eBook » Kripke’s Worlds:An Introduction to Modal Logics via Tableaux