Intuitionistic analysis and Gödel's interpretation

DOI10.2969/jmsj/01520101zbMath0117.25702OpenAlexW2000616159MaRDI QIDQ2625990

Mariko Yasugi

Publication date: 1963

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/01520101

zbMATH Keywords

mathematical logic

Related Items (4)

The machinery of consistency proofs ⋮ Bounded functional interpretation ⋮ Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen ⋮ Unnamed Item

This page was built for publication: Intuitionistic analysis and Gödel's interpretation