scientific article; zbMATH DE number 3786775
From MaRDI portal
Publication:3964564
zbMATH Open0499.03045MaRDI QIDQ3964564FDOQ3964564
Authors: Georg Kreisel 
Publication date: 1982
Title of this publication is not available (Why is that?)
Cited In (5)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- The computational content of arithmetical proofs
- Towards a proof theory for quantifier macros
- Extracting Herbrand disjunctions by functional interpretation
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH
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 Q3964564)
