See
Georg Kreisel, Mathematical Logic, in T. Saaty et al. (ed.), Lectures on Modern Mathematics III, Wiley New York (1965) 95-195
Jean-Yves Girard (translated and with appendiced by Paul Taylor and Yves Lafont), Proofs and Types, Cambridge University Press (1989) [ISBN:978-0-521-37181-0, pdf]
Last revised on February 18, 2023 at 15:43:50. See the history of this page for a list of all contributions to it.