Hyperincursive proof theory

zbMATH Open1238.03046MaRDI QIDQ2884994

Arturo Graziano Grappone

Publication date: 21 May 2012

Published in: Metalogicon (Search for Journal in Brave)

Full work available at URL: http://www.metalogicon.org/rivista/2007ld/Grappone07ld.pdf

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Proof spaces for unbounded parallelism

This page was built for publication: Hyperincursive proof theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884994)