Turning cycles into spirals

Annals of Pure and Applied Logic 96 (1-3):57-73 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.
Etch spirals on natural crystalline sulphur.H. Sayeda - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 21.
Life chances: Turning 13, turning 18 (DVD).Alex Bacalja - 2011 - Ethos: Social Education Victoria 19 (4):37.

Analytics

Added to PP
2014-01-16

Downloads
14 (#968,362)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Duplication of directed graphs and exponential blow up of proofs.A. Carbone - 1999 - Annals of Pure and Applied Logic 100 (1-3):1-67.
On the form of witness terms.Stefan Hetzl - 2010 - Archive for Mathematical Logic 49 (5):529-554.
The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.

Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Don't eliminate cut.George Boolos - 1984 - Journal of Philosophical Logic 13 (4):373 - 378.
The undecidability of k-provability.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.

View all 9 references / Add more references