Switch to: Citations

References in:

Overspill and fragments of arithmetic

C. Dimitracopoulos

Archive for Mathematical Logic 28 (3):173-179 (1989)

Add references

You must login to add references.

Gödel's Second incompleteness theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (9 more) Export citation Bookmark 12 citations
Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 18 citations

1