志村, 立矢シムラ, タツヤ

ID:DA12980165

Alias Name: Shimura, Tatsuya

Search authors sharing the same name

Search Results1-2 of 2

1

コンピュータのための数学 : 論理的アプローチ

D. グリース, F. B. シュナイダー著 ; 飯島正 [ほか] 訳

日本評論社 2001.7

Available at 145 libraries
2

Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics = S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

Tatsuya Shimura

東京大学数理科学研究科 1991

Available at 1 libraries

Search this author

Related Authors