>> Google Books
QRコード(所蔵情報)

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]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Priest, Graham

Cambridge University Press

Le Mouël, Chantal, De Lattre-Gasquet, Marie, Mora, Olivier

Editions Quae

Bimbó, Katalin, 1963-, Dunn, Jon Michael, 1941-

Center for the Study of Language and Information, Leland Stanford Junior University

Hughes, G. E. (George Edward), 1918-, Cresswell, M. J.

Routledge

Bradley, Raymond, Swartz, Norman

Hackett Pub. Co.

Chellas, Brian F

Cambridge University Press

Hale, Bob, 1945-, Hoffmann, Aviv

Oxford University Press

5 図書 Modal logic

Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-

Cambridge University Press

Garson, James W., 1943-

Cambridge University Press

6 図書 Modal logic

Chagrov, Alexander, Zakharyaschev, Michael

Clarendon Press, Oxford University Press

Williamson, Timothy, 1955-

Oxford University Press