Sato Masahiko | Department Of Mathematics College Of General Education University Of Tokyo
スポンサーリンク
概要
関連著者
-
Sato Masahiko
Department Of Mathematics College Of General Education University Of Tokyo
-
Sato Masahiko
Department Of Information Science Faculty Of Science University Of Tokyo
-
Sato Masahiko
Departlent Of Physiological Anthropology Kyushu University Of Design Sciences
-
Sato Masahiko
Department Of Cardiology Ohara Medical Center
-
Sato Masahiko
Department Of Mathematics University Of Tokyo
著作論文
- Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics
- Theory of Symbolic Expressions, II.
- Grundy Functions and Linear Games
- A Study of Kripke-Type Models for Some Modal Logics by Gentzen's Sequential Method