132430

References

David DeVidi

Naturalizing natural deduction

2016

with Korté Herbert

in: Modern logic 1850-1950, East and West, Basel : Birkhäuser

Open Access Link