TY  - JOUR

T1  - Minimal models of Heyting arithmetic

JO  - J SYMBOLIC LOGIC

PY  - 1997/12/01

AU  - Moerdijk I

AU  - Palmgren E

ED  - 

VL  - 62

IS  - 4

SP  - 1448

EP  - 1460

Y2  - 2024/12/22

ER  -