finite_model_theory (73B)
1 # Finite model theory 2 3 - [finite_controllability] 4 5 Up: [logic], [finite]