述語論理・入門 : 基礎からプログラムの理論へ

フォーマット:
図書
責任表示:
上江洲忠弘著
言語:
日本語
出版情報:
東京 : 遊星社
東京 : 星雲社 (発売), 2007.4
形態:
206p ; 21cm
著者名:
上江洲, 忠弘(1942-) <DA12108365>  
書誌ID:
BA81788921
ISBN:
9784434106057 [4434106058]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

上江洲, 忠弘(1942-)

遊星社, 星雲社 (発売)

佐藤, 雅彦(1947-), 桜井, 貴文(1959-)

岩波書店

上江洲, 忠弘(1942-)

遊星社, 星雲社 (発売)

Stoli︠a︡r, A. A. (Abram Aronovich), 保坂, 秀正, 山崎, 昇(1930-)

大竹出版

前原, 昭二(1927-1992)

日本評論社

斎藤, 正彦(1931-)

日本評論社

田中, 尚夫(1928-)

裳華房

有澤, 誠(1944-)

朝倉書店

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, 伊藤, 誠

大阪教育図書社

11 図書 論理

中谷, 太郎(1903-)

共立出版

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, 石本, 新(1917-), 竹尾, 治一郎(1926-)

大阪教育図書

12 図書 集合・論理

細井, 勉(1937-)

共立出版