Taking out LK parts from a proof in Peano arithmetic
From MaRDI portal
Publication:3788004
DOI10.2307/2274022zbMath0645.03056MaRDI QIDQ3788004
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274022
03F30: First-order arithmetic and fragments
Related Items
Cites Work