Browse editions

Current edition
Proofs and Types by Yves LaFont, Jean-Yves Girard, Paul Taylor

Proofs and Types

Yves LaFont, Jean-Yves Girard, Paul Taylor

192 pages • 1989

fiction mathematics informative reflective medium-paced
Other editions (0)