Catégories
> 03-XX Mathematical logic and foundations > 03FXX Proof theory and constructive mathematics > 03F45 Provability logics and related algebras (e.g., diagonalizable algebras)
03F45 Provability logics and related algebras (e.g., diagonalizable algebras)
Voir aussi
catégorie vide
