Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp [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

DOI

10.1017/s107989860000086x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17. [REVIEW]Christoph Benzmüller, Chad E. Brown, Jörg Siekmann & Richard Statman - 2010 - Bulletin of Symbolic Logic 16 (3):409-411.
Verifying the Modal Logic Cube is an Easy Task.Christoph Benzmüller - 2010 - In Simon Siegler & Nathan Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer. pp. 117-128.
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday.Dieter Hutter (ed.) - 2004 - Springer.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
Jacques Herbrand: life, logic, and automated deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.
Abschlussbericht Projekt HOTEL.Benzmüller Christoph, Kohlhase Michael & Siekmann Jörg - 2004
VERMATH: Distributed Mathematical Problem Solving.Autexier Serge, Benzmüller Christoph, Kohlhase Michael & Siekmann Jörg - 2004
Semantics of Higher-Order Logic.Benzmüller Christoph & Brown Chad - 2006
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Freek Wiedijk (ed.), The Seventeen Provers of the World. Springer. pp. 127-141.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Festschrift Für Gerhard Fezer Zum 70. Geburtstag Am 29. Oktober 2008commemorative Publication Dedicated to Gerhard Fezer in Honor of His 70th Birthday on 29 October 2008.Wolfgang Wohlers & Edda Wesslau (eds.) - 2008 - De Gruyter Recht.
Geleitwort.Wolfgang Wohlers & Edda Wesslau - 2008 - In Wolfgang Wohlers & Edda Wesslau (eds.), Festschrift Für Gerhard Fezer Zum 70. Geburtstag Am 29. Oktober 2008commemorative Publication Dedicated to Gerhard Fezer in Honor of His 70th Birthday on 29 October 2008. De Gruyter Recht.
Kritik der Vorratsdatenspeicherung.Wolfgang Wohlers & Edda Wesslau - 2008 - In Wolfgang Wohlers & Edda Wesslau (eds.), Festschrift Für Gerhard Fezer Zum 70. Geburtstag Am 29. Oktober 2008commemorative Publication Dedicated to Gerhard Fezer in Honor of His 70th Birthday on 29 October 2008. De Gruyter Recht.
Strafprozessuale Beweisstrukturen.Wolfgang Wohlers & Edda Wesslau - 2008 - In Wolfgang Wohlers & Edda Wesslau (eds.), Festschrift Für Gerhard Fezer Zum 70. Geburtstag Am 29. Oktober 2008commemorative Publication Dedicated to Gerhard Fezer in Honor of His 70th Birthday on 29 October 2008. De Gruyter Recht.

Analytics

Added to PP
2019-04-28

Downloads
13 (#1,039,189)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references