A Natural Axiomatization of Bchi Arithmetic.

Konstantin Kovalyov

Browse the full WoLLIC paper archive.