Login / Signup

Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets.

Erik Palmgren
Published in: Ann. Pure Appl. Log. (2012)
Keyphrases