Relating First-order Set Theories and Elementary Toposes.

Steven Awodey Carsten Butz Alex Simpson Thomas Streicher

Published in: Bull. Symb. Log. (2007)

Keyphrases

databases
probability distribution
small number
higher order
np complete
temporal logic