>> Google Books
タイトル、所在を表示します

How to prove it : a structured approach. 2nd ed

フォーマット:
図書
責任表示:
Daniel J. Velleman
言語:
英語
出版情報:
New York : Cambridge University Press, c2006
形態:
xiii, 384 p. ; 24 cm
著者名:
Velleman, Daniel J <DA08973020>  
書誌ID:
BA76758309
ISBN:
9780521861243 [0521861241] (:hbk)
9780521675994 [0521675995] (:pbk)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Introduction to the foundations of mathematics

Wilder, Raymond Louis, 1896-

J. Wiley
7 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer
2 図書 Discrete mathematics and its applications

Rosen, Kenneth H., Krithivasan, Kamala

McGraw-Hill
8 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer-Verlag
3 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
9 図書 Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Bertot, Yves, Castéran, P. (Pierre)

Springer
4 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag
10 図書 Logical approach to systems theory

Takahashi, Shingo, 1960-, Takahara, Yasuhiko, 1935-

Springer
5 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer-Verlag
11 図書 Background : computational structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
6 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer
12 図書 Background : mathematical structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press