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