Go home now Header Background Image
Submission Procedure
share: |
Follow us

Hajime Ishihara
Japan Advanced Institute of Science and Technology, Japan

H. Ishihara:
A Canonical Model Construction for Substructural Logics
page 155 - 168
Vol.6 / Issue 1
V. Brattka, H. Ishihara, M. Schröder, N. Zhong:
Computability and Complexity in Analysis
page 800 - 800
Vol.14 / Issue 6
C.S. Calude, H. Ishihara:
Constructivity, Computability, and Logic
A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges
page 1863 - 1864
Vol.11 / Issue 12
H. Ishihara, B. Khoussainov:
Effectiveness of the Completeness Theorem for an Intermediate Logic
page 1255 - 1265
Vol.3 / Issue 11
H. Ishihara:
Sequential Continuity of Linear Mappings in Constructive Mathematics
page 1250 - 1254
Vol.3 / Issue 11