Jan von Plato

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 1

Top Topics

Intuitionistic Logic

Natural Deduction

Top Venues

Bull. Symb. Log.

Rev. Symb. Log.

Publications