scientific article; zbMATH DE number 3648702

zbMATH Open0417.03029MaRDI QIDQ3206947FDOQ3206947

Authors: Jean-Yves Girard 

Publication date: 1977

Title of this publication is not available (Why is that?)

zbMATH Keywords

Kripke modelsnormalizationfunctional interpretationHeyting arithmeticproof-theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206947)