dblp.uni-trier.de www.uni-trier.de

Studia Logica, Volume 52

Volume 52, Number 1, February 1993

Volume 52, Number 2, May 1993

Automated Theorem Proving for Non-Classical Logics

Volume 52, Number 3, August 1993

Volume 52, Number 4, November 1993

Copyright © Mon Nov 2 21:54:15 2009 by Michael Ley (ley@uni-trier.de)