Blank Cover Image
所蔵情報QRコード

Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett

資料種別:
図書
出版情報:
Princeton, N.J. : Princeton University Press, c2014
形態:
xv, 322 p. ; 26 cm
著者名:
ISBN:
9780691160443 [0691160449] (: [pbk.])
書誌ID:
BB14636274
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Computability : computable functions, logic, and the foundations of mathematics

Epstein, Richard L., 1947-, Carnielli, Walter A. (Walter Alexandre)

Wadsworth & Brooks/Cole Advanced Books & Software
7 図書 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (: gw ; : us)

Conference on Automated Deduction, Loveland, Donald W., 1934-

Springer-Verlag
2 図書 Automated theorem proving : a logical basis

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland
8 図書 Automated theorem proving in software engineering

Schumann, Johann M., Loveland, Donald W., 1934-

Springer
3 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.
9 図書 An introduction to non-classical logic : from if to is (: hbk ; : pbk)

Priest, Graham

Cambridge University Press
4 図書 Logic in algebraic form : three languages and theories (: us ; : ne)

Craig, William

North-Holland Pub. Co., American Elsevier Pub. Co.
10 図書 Computability and logic (: U.K. - : U.S., pbk)

Cohen, Daniel E.

E. Horwood, Halsted Press [distributor]
5 図書 Axiomatising the logic of computer programming (: gw ; : us)

Goldblatt, Robert, 1949-

Springer-Verlag
11 図書 The logic of provability

Boolos, George

Cambridge University Press
6 図書 The language of machines : an introduction to computability and formal languages

Floyd, Robert W., Beigel, Richard

Computer Science Press
12 電子ブック The logic of provability (: electronic bk)

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