Login / Signup
Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF.
Wilfried Sieg
Patrick Walsh
Published in:
Rev. Symb. Log. (2021)
Keyphrases
</>
knowledge base
formal model
real time
data mining
information systems