On the unity of logic, Ann (1993)

by J-Y Girard
Venue:Pure Appl. Logic