132432

References

Jonathan P. Seldin

On normalizing disjunctive intermediate logics

2016

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

Open Access Link