Repository | Directory | Profile
References
Jonathan P. Seldin
On normalizing disjunctive intermediate logics
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser
Repository | Directory | Profile
On normalizing disjunctive intermediate logics
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser