Conference | Speakers | Profile
Jonathan P. Seldin
in English
XOn normalizing disjunctive intermediate logics
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser
Conference | Speakers | Profile
in English
XOn normalizing disjunctive intermediate logics
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser