Non-Commutative Infinitary Peano Arithmetic.

Makoto Tatsuta, Stefano Berardi

Browse the full CSL paper archive.