Natural Deduction for Non-Classical Logics (1996)

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