Richiedi una copia del documento: Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92.

Captcha code
Annulla