>> Amazon.co.jp
このページのQRコード

Logics of time and computation. 2nd ed., rev. and expanded

種類:
図書
責任表示:
Robert Goldblatt
出版情報:
Stanford, CA : Center for the Study of Language and Information, c1992
著者名:
Goldblatt, Robert, 1949- <DA01191414>  
シリーズ名:
CSLI lecture notes ; no. 7 <BA0037651X>
ISBN:
9780937073933 [0937073938]  CiNii Books  Calil
9780937073940 [0937073946] (: pbk)  CiNii Books  Calil
注記:
Bibliography: p. 169-174
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematics of modality

Goldblatt, Robert, 1949-

CSLI Publications
7 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Wallen, Lincoln A.

MIT Press
2 図書 Modal logic

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

Cambridge University Press
8 図書 Topoi : the categorial analysis of logic

Goldblatt, Robert, 1949-

North-Holland
3 図書 Modal logic

Chagrov, Alexander, Zakharyaschev, Michael

Clarendon Press, Oxford University Press
9 図書 Topoi : the categorial analysis of logic

Goldblatt, Robert, 1949-

North-Holland Pub. Co, sole distributors for the U.S.A. and Canada, Elsevier North-Holland
4 図書 The logic of provability

Boolos, George

Cambridge University Press
10 図書 Axiomatising the logic of computer programming

Goldblatt, Robert, 1949-

Springer-Verlag
5 図書 First steps in modal logic

Popkorn, Sally

Cambridge University Press
11 図書 A computational logic

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
6 図書 A short introduction to modal logic

Mint︠s︡, Grigori

Center for the Study of Language and Information, Leland Stanford Junior University
12 電子ブック Axiomatising the Logic of Computer Programming

Goldblatt, Robert, SpringerLink (Online service)

Springer-Verlag