I wonder if the new Darth Vader uses a Hilbert-style/natural deduction system, sequent calculus or tableaux method system to substantiate his switch to the dark side? #FirstOrderLogic #ThreeYearsOfKolenbachFinallyPaysOff

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.