Report copyright - Proofinterpretations: theoreticalandpracticalaspectsjg.sdf.org/pitapa.pdfPeano arithmetic with the ω-rule is a complete theory. Proof interpretations with truth A proof interpretation
Please pass captcha verification before submit form