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