Generalizing theorems in real closed fields
From MaRDI portal
Publication:1899140
DOI10.1016/0168-0072(94)00054-7zbMath0829.03033OpenAlexW1977680017MaRDI QIDQ1899140
Publication date: 21 January 1996
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(94)00054-7
Related Items (5)
The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem ⋮ Towards a clausal analysis of cut-elimination ⋮ Herbrand's theorem and term induction ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Controlling witnesses
Cites Work
This page was built for publication: Generalizing theorems in real closed fields