Publication:2718477
From MaRDI portal
zbMath0980.03060MaRDI QIDQ2718477
Publication date: 26 July 2001
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
zbMath0980.03060MaRDI QIDQ2718477
Publication date: 26 July 2001
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items