2024-03-29T14:21:11Z
https://repository.dl.itc.u-tokyo.ac.jp/oai
oai:repository.dl.itc.u-tokyo.ac.jp:00039886
2022-12-19T04:13:20Z
312:6589:6799:6800
9:504:6592:6801:6802
The axiomatization of the intermediate propositional systems $S_2$ of Godel
Hosoi, Tsutomu
138606
410
application/pdf
departmental bulletin paper
Faculty of Science, The University of Tokyo
1966-12-28
application/pdf
Journal of the Faculty of Science, University of Tokyo. Sect. 1, Mathematics, astronomy, physics, chemistry = 東京大學理學部紀要. 第1類, 數學, 天文學, 物理學, 化學
2
13
183
187
AA00697945
03682269
https://repository.dl.itc.u-tokyo.ac.jp/record/39886/files/jfs130207.pdf
eng