close
1.

図書
図書
1. PX, a computational logic
Susumu Hayashi, Hiroshi Nakano
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
2.

図書
図書
2. 数理論理学
林晋著
出版情報: 東京 : コロナ社, 1989.12
シリーズ名: コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3
所蔵情報: loading…
3.

図書
図書
3. プログラム検証論
林晋著
出版情報: 東京 : 共立出版, 1995.9
シリーズ名: 情報数学講座 ; 8
所蔵情報: loading…