You are about to access our book library "Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil (Contemporary Mathematics) full version"
.