Substitutions of E-sentences : explorations between intuitionistic propositional logic and intuitionistic arithmetic.

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	227-271
Number of pages	45
Journal	Annals of Pure and Applied Logic
Volume	114 (1-3)
Publication status	Published - 2002

special issue for the commemorative symposium, dedicated to Anne Troelstra, guesteditors Jaap van Oosten & Harold Schellinx

Cite this

@article{d7c46f8c28fe411a9518f189c7a24da2,

title = "Substitutions of E-sentences : explorations between intuitionistic propositional logic and intuitionistic arithmetic.",

author = "A. Visser",

note = "special issue for the commemorative symposium, dedicated to Anne Troelstra, guesteditors Jaap van Oosten \& Harold Schellinx",

year = "2002",

language = "Undefined/Unknown",

volume = "114 (1-3)",

pages = "227--271",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Substitutions of E-sentences : explorations between intuitionistic propositional logic and intuitionistic arithmetic.

AU - Visser, A.

N1 - special issue for the commemorative symposium, dedicated to Anne Troelstra, guesteditors Jaap van Oosten & Harold Schellinx

PY - 2002

Y1 - 2002

M3 - Article

SN - 0168-0072

VL - 114 (1-3)

SP - 227

EP - 271

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

ER -