Forthcoming talk at CiE 2016

Title: An Intuitionistic Formula Hierarchy Based on High-School Identities

http://arxiv.org/abs/1601.04876

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net