文献一覧: Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi (雑誌) - Ceek.jp Altmetrics

2 0 0 0 OA A faithful interpretation of intuitionistic predicate logic in classical predicate logic

著者: Nobuyoshi Motohashi
雑誌: Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi
巻号頁・発行日: vol.21, no.2, pp.11-23, 1973-03

2020-04-20 21:50:29
2 + 5 Twitter

1 0 0 0 OA Categorical Aspects of Heyting-valued Models for Intuitionistic Set Theory

著者: Mamoru Shimoda
雑誌: Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi
巻号頁・発行日: vol.30, no.1, pp.17-35, 1981

2017-01-12 23:22:32
1 + 0 Twitter

1 0 0 0 OA On Newton's method in convex linear topological spaces

著者: Yoshikazu Hirasawa
雑誌: Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi
巻号頁・発行日: vol.3, no.1, pp.15-27, 1954-11

2015-02-03 12:55:17
1 + 0 Twitter