A note on arithmetic models for consistent formulae of the predicate calculus (1950)

by G Kreisel
Venue:Fund. Math