Completeness and categoricity: Frege, gödel and model theory

From MaRDI portal
Publication:4373014