Walter Carnielli
Centre for Logic, Epistemology and the History of Science - CLE, State University of Campinas - UNICAMP, Campinas, Brazil 13083-859
First-order logic and automated theorem proving
Rasiowa-Sikorski deduction systems in computer science applications
Theoretical Computer Science