References
J-Y. Girard, Y. Lafont and P. Taylor. (1989): Proofs and Types, Cambridge Tracts in Computer Science, Cambridge: Cambridge University Press.
W. Goldfarb. (1989): Russell's reasons for ramification. in C. Savage and C. Anderson (eds.), Rereading Russell, University of Minnesota Press, Minneapolis, pp. 25–39.
D. Prawitz. (1965): Natural Deduction, Almkvist & Wiksell, Stockholm.
Author information
Authors and Affiliations
Corresponding author
Additional information
*This work was done while visiting the Department of Philosophy of Harvard University in the Spring term of 2004.
Rights and permissions
About this article
Cite this article
Ferreira, F. Comments on Predicative Logic. J Philos Logic 35, 1–8 (2006). https://doi.org/10.1007/s10992-005-9001-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-005-9001-z