Models of Peano arithmetic as modules over initial segments

From MaRDI portal
Publication:819263