180

Completeness in the theory of types
– L Henkin
 1950

141

Introduction to HigherOrder Categorical Logic
– J Lambek, P Scott
 1986

183

Topos Theory
– P T Johnstone
 1977

190

Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing
– S Mac Lane, I Moerdijk
 1994

50

Sheaves and logic
– M P Fourman, D S Scott
 1979

311

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed
– Peter B Andrews
 2002

9

Topological Representation of Sheaf Cohomology of Sites
– Carsten Butz, Ieke Moerdijk
 1996

930

Categories for the Working Mathematician
– S Mac Lane
 1971

11

Logical and cohomological aspects of the space of points of a topos
– C Butz
 1996

2

Topostheoretic semantics of fibring. Research report
– M E Coniglio, A Sernadas, C Sernadas
 2002

48

Identity and existence in intuitionistic logic
– D Scott
 1979

40

Categorical Logic and Type Theory, volume 141
– Bart Jacobs
 1999

199

hol: A proof generating system for higherorder logic
– M J C Gordon

7

Adjointness in foundations. Dialectica
– F W Lawvere
 1969

51

Fibring of logics as a categorial construction
– AmÃlcar Sernadas, Cristina Sernadas, Carlos Caleiro
 1999

45

Fibring: Completeness Preservation
– Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas
 2000

184

Isabelle: The next 700 theorem provers
– L C Paulson
 1990

119

Mathematical Logic Based on the Theory of Types
– Bertrand Russell
 1908

46

Toposes and Local Set Theories
– J L Bell
 1988
