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

First-order dynamic logic

フォーマット:
図書
責任表示:
David Harel
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, 1979
形態:
133 p. : ill. ; 24 cm
著者名:
Harel, David, 1950- <DA01931918>  
シリーズ名:
Lecture notes in computer science ; 68 <BA00009279>
書誌ID:
BA03630552
ISBN:
9783540092377 [3540092374] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387092379 [0387092374] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック First-Order Dynamic Logic

Harel

Springer Berlin Heidelberg
7 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth
2 図書 Fundamentals of mathematical logic

Hinman, Peter G.

A.K. Peters
8 図書 Foundations without foundationalism : a case for second-order logic

Shapiro, Stewart, 1951-

Clarendon Press, Oxford University Press
3 図書 Dynamic logic

Harel, David, 1950-, Kozen, Dexter, 1951-, Tiuryn, Jerzy

MIT Press
9 図書 An introduction to Hilbert space and quantum logic

Cohen, David W.

Springer-Verlag
4 図書 The foundations of mathematics

Kunen, Kenneth

College Publications
10 電子ブック A first course in mathematical logic and set theory

O'Leary, Michael L.

Wiley
5 図書 Intermediate logic

Bostock, David

Clarendon Press, Oxford University Press
11 図書 David Hilbert's lectures on the foundations of arithmetic and logic

Hilbert, David, 1862-1943, Ewald, William, Sieg, Wilfried, 1945-, Hallett, Michael, 1930-, Majer, Ulrich, Schlimm, Dirk

Springer
6 図書 Papers in philosophical logic

Lewis, David K.

Cambridge University Press
12 図書 Complexity, logic, and recursion theory

Sorbi, Andrea, 1956-

Marcel Dekker