Logic Colloquium '88 Proceedings of the Colloquium Held in Padova, Italy, August 22-31, 1988

作者：

R. Ferro

摘要：

This article has no associated abstract. ( fix it )

关键词：

Logic, Symbolic and mathematical

年份：

1989