Non-Well-Foundedness of Well-Orderable P
β
T. E. Forster and J. K. Truss
π
Article
π
2003
π
Association for Symbolic Logic
π
English
β 200 KB