Gauthier, Yvon
Towards an arithmetical logic : the arithmetical foundations of logic
Cham : Birkhäuser, 2015. xi, 184 p. -- (Studies in universal logic) 
QA9 G43