183

Completeness in the theory of types
– L Henkin
 1950

852

A formulation of the simple theory of types
– A Church
 1940

308

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

501

Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
– M J C Gordon, T F Melham
 1993

35

General models and extensionality
– P B Andrews
 1972

34

General models, descriptions, and choice in type theory
– P B Andrews
 1972

41

Arithmetices principia, nova methodo exposita. Fratres Bocca
– G Peano

33

The completeness of the firstorder functional calculus, The
– Leon Henkin
 1949

2

Notes on the quantification theory
– J Hintikka
 1957

1

The λCalculus. Studies in logic and the foundations of mathematics, NorthHolland
– H P Barendregt
 1984

5

Semantic techniques for higherorder cutelimination
– C E Benzmüller, C E Brown, M Kohlhase
 2004

18

Higher Order Semantics and Extensionality
– C Benzmüller, C E Brown, M Kohlhase

277

Topology, A First Course
– J R Munkres

410

FirstOrder Logic and Automated Theorem Proving, 2nd edition
– M Fitting
 1996

278

FirstOrder Logic
– R M Smullyan
 1968

107

Classical Type Theory
– Peter B. Andrews, Second Readers John Harrison, Michael Kohlhase
 2001

20

Set Comprehension in Church’s Type Theory
– C E Brown
 2004

43

Models and Ultraproducts: An Introduction
– J Bell, A Slomson
 1969

16

A unifying principle for quantification theory
– R M Smullyan
 1963
