menu

Return to entry

Background_on_graphs
SyntaxAndSemantics
UniformNotation
Closedness
FinitenessClosedCharProp
MaximalSet
HintikkaTheory
MaximalHintikka
BinaryTreeEnumeration
FormulaEnumeration
ModelExistence
PropCompactness
Hall_Theorem
Hall_Theorem_Graphs
k_coloring
KoenigLemma

Prop_Compactness.k_coloring

HTML Presentation