A simple proof of Parsons' theorem (0)

by Fernando Ferreira
Citations:3 - 2 self

Active Bibliography

751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998
This document in subdirectoryRS/98/18/ Things – Ulrich Kohlenbach, Ulrich Kohlenbach - 1998
249 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999
224 Unification Theory – Franz Baader, Wayne Snyder - 2001
18 Number theory and elementary arithmetic – Jeremy Avigad - 2003
7 Forcing in Proof Theory – Jeremy Avigad - 2004
12 Theories With Self-Application and Computational Complexity – Thomas Strahm - 2002