Summary: THE UNIVERSITY OF CHICAGO
LOGIC IN TOPOI:
FUNCTORIAL SEMANTICS FOR HIGHER­ORDER LOGIC
A DISSERTATION SUBMITTED TO
THE FACULTY OF THE DIVISION OF THE HUMANITIES
IN CANDIDACY FOR THE DEGREE OF
DOCTOR OF PHILOSOPHY
DEPARTMENT OF PHILOSOPHY
BY
STEVEN M. AWODEY
CHICAGO, ILLINOIS
MARCH 1997

Copyright c
fl 1997 by Steven M. Awodey
All rights reserved

in memoriam
Scot William Awodey


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics