REVIEWS-Two papers-Explicit mathematics

, &
Bulletin of Symbolic Logic 8 (4):534-534 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353929

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

External links

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

Through your library

My notes

Similar books and articles

Two papers by T. Strahm and by A. Cantini on explicit mathematics. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-534.
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Thomas Strahm. Polynomial time operations in explicit mathematics. The journal of symbolic logic, vol. 62 , pp. 575–594. - Andrea Cantini. Feasible operations and applicative theories based on λη. Mathematical logic quarterly, vol. 46 , pp. 291–312. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
REVIEWS-Two papers.James Baumgartner & Stevo Todorcevic - 2000 - Bulletin of Symbolic Logic 6 (4):497-497.
REVIEWS-Two papers.R. Dougherty, M. Foreman & Stan Wagon - 2001 - Bulletin of Symbolic Logic 7 (4):537-537.
REVIEWS-Two papers.B. E. Shapirovskil & Zoltan T. Balogh - 2001 - Bulletin of Symbolic Logic 7 (4):536-536.
REVIEWS-Two papers.L. Van den Dries, A. Macintyre, D. Marker & Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-215.
REVIEWS-Two papers.W. Burr, V. Hartung & Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.

Analytics

Added to PP
2014-03-24

Downloads
4 (#1,646,947)

6 months
4 (#1,007,071)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Andrea Cantini
Università degli Studi di Firenze
Fernando Ferreira

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references