Takao Inoué (inoue-t)

Contributions à Philosophie.ch

Bibliography

Inoué, Takao. 1990. “A Note on Unprovability-Preserving Sound Translations.” Logique et Analyse 33(131–132): 243–257.
Inoué, Takao. 1993. “On the Härtig-Style Axiomatization of Unprovable and Satisfiable Formulas of Bernays and Schönfinkel’s Classes.” Logique et Analyse 36(143–144): 261–309.
Inoué, Takao. 1996. “Corrections and Additions to my Paper ‘A Note on the Unprovability-Preserving Sound Translations,’ More General Constructions.” Logique et Analyse 39(155–156): 335–367.