Proofs and types

Proofs and types

1989 • 192 pages