Ex contradictione non sequitur quodlibet (2001)

by Walter A. Carnielli , João Marcos
Venue:Proceedings of the II Annual Conference on Reasoning and Logic, held in Bucharest, RO, July 2000
Citations:8 - 5 self