Experimental logics and \(\Delta^0_2\)-theories (Q1222647)

From MaRDI portal