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

Extensions of first order logic

種類:
図書
責任表示:
[by] María Manzano
出版情報:
Cambridge, England ; New York, NY : Cambridge University Press, 1996
著者名:
Manzano, María <DA10182119>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 19 <BA01121831>
ISBN:
9780521354356 [0521354358]  CiNii Books  Calil
注記:
Includes bibliography (p. [352]-363) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The language of first-order logic : including the Macintosh version of Tarski's world 4.0

Barwise, Jon, Etchemendy, John, 1952-

Center for the Study of Language and Information
7 図書 Extensions of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

Kluwer Academic
2 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
8 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937-

Springer-Verlag
3 電子ブック First-Order Dynamic Logic

Harel, David, SpringerLink (Online service)

Springer-Verlag
9 電子ブック First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories

Makkai, M., Reyes, G.E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック First-Order Dynamic Logic

Harel, D., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 A first course in order statistics

Arnold, Barry C., Balakrishnan, N., Nagaraja, H. N.

SIAM
5 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag
11 図書 First-order programming theories

Gergely, T. (Tamás), Úry, László, 1953-

Springer-Verlag
6 図書 Extensions of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel
12 図書 Metamathematics of first-order arithmetic

Hájek, Petr, Pudlák, Pavel, 1952-

Springer-Verlag