Relationships between Logical Formalisms (1993)

by M Cerioli