Proof search in Hájek's basic logic

Simone Bova and Franco Montagna
January 2008
Cite
Type
Journal Article