Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
THE UNIVERSITY OF CHICAGO LOGIC IN TOPOI
 

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