Internal logic

Yvon Gauthier

Springer - Berlin

2002

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic).