Login / Signup

A Logical Framework for Set Theories

Arnon Avron
Published in: LSFA (2011)
Keyphrases
  • logical framework
  • lower bound
  • probability distribution
  • state space