Pages that link to "Item:Q1590193"
From MaRDI portal
The following pages link to A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation (Q1590193):
Displaying 2 items.