>> Google Books
タイトル、所在が表示されます

圏論による論理学 : 高階論理とトポス

フォーマット:
図書
責任表示:
清水義夫著
言語:
日本語
出版情報:
東京 : 東京大学出版会, 2007.12
形態:
iv, 216p ; 21cm
著者名:
清水, 義夫(1939-) <DA00757597>  
書誌ID:
BA84314231
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information

類似資料:

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

清水, 義夫(1939-)

東京大学出版会

Leinster, Tom, 1971-, 土岡, 俊介, 齋藤, 恭司(1944-)

丸善出版

2 図書 記号論理学

清水, 義夫(1939-)

東京大学出版会

Halbwachs, Maurice, 1877-1945, 清水, 義弘(1917-)

誠信書房

3 図書 圏論

Awodey, Steve, 1959-, 前原, 和寿

共立出版

武市, 健人(1901-1986), 清水, 正徳(1921-)

こぶし書房

4 図書 圏論の基礎

Mac Lane, Saunders, 1909-, 三好, 博之, 高木, 理

丸善出版

10 図書 論理学

Priest, Graham, 菅沼, 聡(1967-), 清水, 哲郎(1947-)

岩波書店

圏論の歩き方委員会

日本評論社

渡辺,義雄(1918〜 哲学), Hyppolite, Jean, 1907-1968

朝日出版社

大熊, 正(1924-)

槙書店

奥川, 峻史

共立出版