The definability of the set of natural numbers in the 1925 Principia Mathematica

From MaRDI portal
Publication:5961452