Minimal models of Heyting arithmetic (1997)

by I Moerdijk, E Palmgren
Venue:J. Symbolic Logic