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

Name: Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17
Author: Christoph Benzmüller

by Christoph Benzmüller · 1 review · 2010

Reviewed by	Journal	Date	Access
Florian Rabe	The Bulletin of Symbolic Logic	2010-09-00	Restricted

Metaphysics & Logic

Search PhilReviews for this title