Some Connections Between Set Theory and Computer Science

• Authors:

• Robert Cowen

• Affiliations:

• -

• Venue:
• KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory
• Year:
• 1993