Hyperincursive proof theory

zbMATH Open1238.03046MaRDI QIDQ2884994FDOQ2884994

Authors: 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

Recommendations

• scientific article; zbMATH DE number 4043814
• Publication:3469081
• An automatic proof of Gödel's incompleteness theorem
• Automatic theorem proving and OTTER
• scientific article; zbMATH DE number 4072438

Mathematics Subject Classification ID

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

Cited In (2)

• Proof spaces for unbounded parallelism
• Title not available (Why is that?)

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)