TY  - JOUR

T1  - Minimal models of Heyting arithmetic

JO  - J SYMBOLIC LOGIC

PY  - 2014/03/12

AU  - Moerdijk I

AU  - Palmgren E

ED  - 

VL  - 62

IS  - 4

SP  - 1448

EP  - 1460

Y2  - 2025/12/08

ER  -