Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
- 1 January 1971
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A proof of cut-elimination theorem in simple type-theoryJournal of the Mathematical Society of Japan, 1967
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logicBulletin of the American Mathematical Society, 1966
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- On a generalized logic calculusJapanese journal of mathematics :transactions and abstracts, 1953