※一部利用できない機能があります
Kripke's worlds : an introduction to modal logics via tableaux
- フォーマット:
- 図書
- 責任表示:
- Olivier Gasquet ... [et al.]
- 言語:
- 英語
- 出版情報:
- [S.l.] : Birkhäuser
Basel : Springer, c2014 - 形態:
- xv, 198 p. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- Studies in universal logic <BA85770407>
- 書誌ID:
- BB14313413
- ISBN:
- 9783764385033 [3764385030]
類似資料:
Cambridge University Press |
Editions Quae |
Center for the Study of Language and Information, Leland Stanford Junior University | |
Routledge |
Hackett Pub. Co. |
Cambridge University Press |
Oxford University Press |
Cambridge University Press |
Cambridge University Press |
Clarendon Press, Oxford University Press |
Oxford University Press |