Gauthier, Yvon2019-03-202024-04-262019-03-202024-04-262015978-3-319-22087-1https://drs.ess.gov.et/handle/12345678/55935enTowards an Arithmetical Logic The Arithmetical Foundations of LogicBook