1
Published 2024
Springer International Publishing
Table of Contents: .... From proof-objects to grounds (Enrico Moriconi) -- 7. On an ecumenical natural deduction with stoup...