Alegebraic Models of Intuitionistic Theories of Sets and Classes

Steve Awodey, Carnegie Mellon University
Henrik Forssell, Carnegie Mellon University

CMU-PHIL-156

Abstract or Description

Steve Awodey and Henrik Forssell. Alegebraic Models of Intuitionistic Theories of Sets and Classes.