Comparing Peano arithmetic, Basic Law V, and Hume's Principle

From MaRDI portal
Publication:450961