In case you too were wondering about the history of ⊢, ⊨, and friends, try this MacTutor page at the University of St Andrews, Scotland.
Personal website – any views expressed herein are my own unless otherwise obvious
In case you too were wondering about the history of ⊢, ⊨, and friends, try this MacTutor page at the University of St Andrews, Scotland.