The Art of Inference

by João Marcos


This will eventually evolve into a book...

In the meanwhile, comments are always welcome through .


Multiple-Conclusion Logics

This is a tutorial presented at the UNI-LOG 2005



Last update: March 2005
eXTReMe Tracker