Proceedings of the 2000 Advanced Reasoning Forum Conference

TitleEx contradictione non sequitur quodlibet
Publication TypeConference Paper
AuthorsCarnielli, WA, Marcos, J