Template:Mathematical logic

From English Wikipedia @ Freddythechick