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

スマリヤン記号論理学 : 一般化と記号化

フォーマット:
図書
責任表示:
Raymond Smullyan[著] ; 川辺治之訳
言語:
日本語
出版情報:
東京 : 丸善出版, 2013.1
形態:
vii, 150p ; 21cm
著者名:
書誌ID:
BB11573316
ISBN:
9784621085721 [4621085727]  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-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-)

丸善出版
7 図書 不完全性定理の先へ

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

日本評論社
2 図書 スマリヤン不完全性定理

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

丸善出版
8 図書 記号論理

梅沢, 敏郎(1929-)

筑摩書房
3 図書 スマリヤン数理論理学講義

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

日本評論社
9 図書 記號論理學教本

大関, 将一(1902-1970), 中埜, 肇(1922-)

理想社
4 図書 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

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

日本評論社
10 図書 記号論理学の綱要

Bochenski, Joseph M., 1902-, 国嶋, 一則(1930-), 奥, 雅博(1941-)

勁草書房
5 図書 スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園

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

共立出版
11 図書 記号論理学

加藤, 浩(1962-), 土屋, 俊(1952-)

放送大学教育振興会
6 図書 不完全性定理の理解のために

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

日本評論社
12 図書 記号論理学

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版