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

スマリヤン数理論理学 : 述語論理と完全性定理

フォーマット:
図書
責任表示:
Raymond Smullyan [著] ; 村上祐子訳
言語:
日本語
出版情報:
東京 : 丸善出版, 2014.11
形態:
iv, 196p ; 21cm
著者名:
書誌ID:
BB1734197X
ISBN:
9784621087855 [4621087851]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 スマリヤン不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-), 川辺, 治之, 村上, 祐子(1968-)

丸善出版
7 図書 文系のための記号論理入門 : 命題論理から不完全性定理まで

金子, 裕介

朝倉書店
2 図書 スマリヤン記号論理学 : 一般化と記号化

Smullyan, Raymond M., 1919-, 川辺, 治之, 高橋, 昌一郎(1959-)

丸善出版
8 図書 ゲーデルの哲学 : 不完全性定理と神の存在論

高橋, 昌一郎(1959-)

講談社
3 図書 不完全性定理の先へ

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
9 図書 不完全性定理

Gödel, Kurt, 1906-1978, 林, 晋(1953-), 八杉, 満利子(1937-)

岩波書店
4 図書 不完全性定理の理解のために

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
10 図書 スマリヤン数理論理学講義

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
5 図書 ゲーデルの不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-)

丸善
11 図書 述語論理・入門 : 基礎からプログラムの理論へ

上江洲, 忠弘(1942-)

遊星社, 星雲社 (発売)
6 図書 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

Smullyan, Raymond M., 1919-, 川辺, 治之

日本評論社
12 電子ブック 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

田中, 一之, バラマツ, ヒトミ

日本評論社