Undefinability vs. definability of satisfaction and truth

From MaRDI portal
Publication:2702739