Constructive logics (0)

by J Gallier
Venue:Part I. Theoretical Computer Science