Constructivity in Computer Science

Constructivity in Computer Science 1991: San Antonio, Texas, USA