著者典拠情報

標目形:
林, 晋(1953-)||ハヤシ, ススム
属性:
Personal
場所:
広島県
日付:
1953
から見よ参照形:
*Hayashi, Susumu
Hayashi, S.
Hayasi, Susumu
Hayasi, S.
注記:
His PX, a computational logic, c1988: CIP t.p. (Susumu Hayashi) pref. (formerly w. Tsukuba Univ., Met. Coll. of Tech., Tokyo; w. Kyoto Univ.)
Kenkyūsha sōran, shizen, 1984: p. 168 (Hayashi Susumu; b. 7/23/53; lectr., Tōkyō Toritsu Kōka Tanki Daigaku; D.Sc.; spec.: math.)
龍谷大学理工学部数理情報科助教授, 理学博士
著書:「コンピュータ数学シリーズ;3 数理論理学」(コロナ社, 1989)
出生地の追加は著書「構成的プログラミングの基礎」(1991,遊星社)の奥付より
著者典拠ID:
DA02963363


1.

図書

図書
林晋編著
出版情報: 東京 : 日本評論社, 2000.7
所蔵情報: loading…
2.

図書

図書
ゲーデル [著] ; 林晋, 八杉満利子訳・解説
出版情報: 東京 : 岩波書店, 2006.9
シリーズ名: 岩波文庫 ; 青(33)-944-1
所蔵情報: loading…
3.

図書

図書
林晋著
出版情報: 東京 : 岩波書店, 1993.11
シリーズ名: 岩波科学ライブラリー ; 6
所蔵情報: loading…
4.

図書

図書
林晋著
出版情報: 東京 : 共立出版, 1995.9
シリーズ名: 情報数学講座 ; 8
所蔵情報: loading…
5.

図書

図書
林晋, 小林聡共著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1991.4
所蔵情報: loading…