TY  - JOUR

T1  - A MODEL FOR INTUITIONISTIC NONSTANDARD ARITHMETIC

JO  - ANN PURE APPL LOGIC

PY  - 1995/05/16

AU  - MOERDIJK I

ED  - 

VL  - 73

IS  - 1

SP  - 37

EP  - 51

Y2  - 2024/12/22

ER  -