1
by Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
... less known than axiomatic systems or natural deduction systems are, and they are much less known than...