The possibility of analysis: convergence and proofs of convergence
From MaRDI portal
Publication:3295778
Recommendations
Cites work
- scientific article; zbMATH DE number 3131080 (Why is no real title available?)
- scientific article; zbMATH DE number 3727583 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 3572133 (Why is no real title available?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- On the termination of Russell's description elimination algorithm
- Systems of Logic Based on Ordinals†
This page was built for publication: The possibility of analysis: convergence and proofs of convergence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3295778)