Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17 [Book Review]

, , &
Bulletin of Symbolic Logic 16 (3):409-411 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Festschrift for Wolfgang Schadewaldt on the Occasion of his 70th Birthday. [REVIEW]Werner Fuchs - 1973 - Philosophy and History 6 (1):78-81.
In honor of cetl, Jiri 70th birthday.J. Gabriel & J. Smajs - 1985 - Filosoficky Casopis 33 (6):923-924.
Odel's dialectica interpretation and its two-way stretch.Solomon Feferman - manuscript
‘Yes!’ to Natural Theology and Justice: Stanley Hauerwas, Martin Luther King Jr., and Charles Hartshorne.” In Unsettling Arguments: A Festschrift on the Occasion of Stanley Hauerwas’s 70th Birthday.Theodore Walker Jr - 2011 - Process Studies 40 (1):198-200.
Festschrift for Charlotte Jolles.Charlotte Jolles, Jörg Thunecke & Eda Sagarra - 1979
Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Mathematical Logic Quarterly 20 (25‐27):411-418.
A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. [REVIEW]William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
Quantum, super and twistors: proceedings of the 22nd Max Born Symposium, Wrocław, Poland 2006: a conference in honor of Jerzy Lukierski on the occasion of his 70th birthday.Jerzy Kowalski-Glikman, L. Turko & Jerzy Lukierski (eds.) - 2008 - Wrocław: Wydawn. Uniwersytetu Wrocławskiego.
General models, descriptions, and choice in type theory.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):385-394.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Festschrift in honor of the 75th birthday of Martin Gutzwiller ed A Inomata et al.M. Brack - 2001 - Foundations of Physics 31:209.
John J. O'Meara, Bernd Naumann: Latin Script and Letters A.D. 400–900. Festschrift presented to Ludwig Bieler on the occasion of his 70th birthday. Pp. vi + 276; photograph of Prof. Bieler. Leiden: Brill, 1976. Cloth, fl. 88. [REVIEW]Michael Winterbottom - 1978 - The Classical Review 28 (01):196-.
A transfinite type theory with type variables.P. B. Andrews - 1965 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

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

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references