La logique des topos (1981)

by A Boileau, A Joyal
Venue:J. Symbolic Logic