scientific article; zbMATH DE number 3330710
From MaRDI portal
Publication:5608740
zbMATH Open0208.00901MaRDI QIDQ5608740FDOQ5608740
Authors: Georg Kreisel 
Publication date: 1970
Title of this publication is not available (Why is that?)
Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)
Cited In (10)
- Truth, reflection and hierarchies
- The Operational Perspective: Three Routes
- Proof theoretic analysis by iterated reflection
- Predicativity and Feferman
- The implicit commitment of arithmetical theories and its semantic core
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- The prehistory of the subsystems of second-order arithmetic
- Truth and the philosophy of mathematics
- Unfolding schematic systems
- Reflecting and unfolding
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 Q5608740)
