Natural Deduction for Non-Classical Logics (1996)

by David Basin , Sean Matthews , Luca Vigano
Citations:15 - 3 self