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

Logic in algebraic form : three languages and theories / William Craig

資料種別:
図書
出版情報:
Amsterdam : North-Holland Pub. Co.
New York : American Elsevier Pub. Co., 1974
形態:
viii, 204 p ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 72 <BA00099329>
著者名:
Craig, William  
ISBN:
9780444104779 [0444104771] (: us)
9780720422726 [0720422728] (: ne)
書誌ID:
BA01340788
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Algebraic theories : a categorical introduction to general algebra

Adámek, Jiří, Rosicky, Jiří, Vitale, E. M., Lawvere, F. William, 1937-

Cambridge University Press
7 図書 Three views of logic : mathematics, philosophy, and computer science (: [pbk.])

Loveland, Donald W., 1934-, Hodel, Richard E., Sterrett, S. G.

Princeton University Press
2 図書 Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory (: ne ; :us)

Hailperin, Theodore

North-Holland
8 図書 Ordinal algebras

Tarski, Alfred, 1902-, Jónsson, Bjarni, 1920-, Chang, Chen Chung, 1927-

North-Holland
3 図書 Algebraic logic

Halmos, P. R. (Paul Richard), 1916-

Chelsea Pub. Co
9 図書 The logic of provability

Boolos, George

Cambridge University Press
4 図書 Universal algebra, algebraic logic, and databases

Plotkin, B. I. (Boris Isaakovich)

Kluwer Academic Publishers
10 電子ブック The logic of provability (: electronic bk)

Boolos, George
5 図書 An algebraic introduction to mathematical logic (: us ; : gw)

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag
11 図書 Algebra of proofs

Szabo, M. E.

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
6 図書 An algebraic approach to non-classical logics

Rasiowa, Helena

North-Holland, American Elsevier
12 図書 Axiomatising the logic of computer programming (: gw ; : us)

Goldblatt, Robert, 1949-

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