The top documents tagged [gentzen proofs]
Edwardian Proofs as Futuristic Programs
1.149 views