Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Set Comprehension in Church's Type Theory
 

Summary: Set Comprehension in Church's
Type Theory
Chad E. Brown
cebrown@andrew.cmu.edu
July 16, 2004
Submitted in partial fulllment
of the requirements for
the degree of Doctor of Philosophy
Department of Mathematical Sciences,
Carnegie Mellon University,
Pittsburgh, PA 15213


Contents
List of Figures vii
List of Tables ix
Abstract xi
Acknowledgements xiii
Chapter 1. Introduction 1
Chapter 2. Preliminaries 5

  

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

 

Collections: Mathematics