Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Pottinger, G. [1980] A Type Assignment for Strongly Normalizable γ-Terms, in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Edited by J.P. Seldin and J.R. Hindley, Academic Press, N.Y.
Troelstra, A.S. [1979] The interplay between logic and Mathematics: Intuitionism. Report 79-01 of the Mathematisch Instituut, University of Amsterdam.
Troelstra,A.S. [1973] Mathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344, Springer-Verlag Publishing Co.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Lopez-Escobar, E.G.K. (1985). Proof functional connectives. In: Di Prisco, C.A. (eds) Methods in Mathematical Logic. Lecture Notes in Mathematics, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0075313
Download citation
DOI: https://doi.org/10.1007/BFb0075313
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15236-1
Online ISBN: 978-3-540-39414-3
eBook Packages: Springer Book Archive