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

類似資料:

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

Wadsworth & Brooks/Cole Advanced Books & Software

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

Springer-Verlag

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland

Priest, Graham

Cambridge University Press

Craig, William

North-Holland Pub. Co., American Elsevier Pub. Co.

Cohen, Daniel E.

E. Horwood, Halsted Press [distributor]

Goldblatt, Robert, 1949-

Springer-Verlag

Boolos, George

Cambridge University Press

Floyd, Robert W., Beigel, Richard

Computer Science Press

Börger, Egon, 1946-

North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.

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

Springer

Calude, Cristian, 1952-, Păun, Gheorghe, 1950-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer

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