Avron [1987] Simple consequence relations, LFCS Report Series 87--30, Laboratory for Foundations of Computer Science (0)

by A
Venue:University of Edinburgh