Monas logica arithmetica