TY  - RPRT
TI  - An Intuitionistic Formula Hierarchy Based on High-School Identities
AU  - Taus Brock-Nannestad
AU  - Danko Ilik
PY  - 2018
DO  - 10.1002/malq.201700047
UR  - https://arxiv.org/abs/1601.04876
ID  - 1601.04876
ER  -