Login / Signup

A Logical Framework for Developing and Mechanizing Set Theories.

Arnon Avron
Published in: IJCAR (2016)
Keyphrases
  • logical framework
  • small number
  • temporal logic