Tendencies in the logic of mathematics.

From MaRDI portal
Publication:2624136