NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN...

  • Main
  • 2019 / 11
  • NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN...
The Review of Symbolic Logic 2019 / 11

NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF

SIEG, WILFRIED, WALSH, PATRICK
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Journal:
The Review of Symbolic Logic
DOI:
10.1017/s175502031900056x
Date:
November, 2019
File:
PDF, 1.18 MB
2019
Conversion to is in progress
Conversion to is failed