Maximal consistent sets of instances of Tarski's schema (T)

From MaRDI portal
Publication:1198407