No more Advanced Logic this year. No more Godel, no more Turing, no more axiomatizability, no more consistency sentences, no more reductio ad absurdum, no more sequent calculus, and no more true-false questions.
Well, good riddance to that last one.
No more Advanced Logic this year. No more Godel, no more Turing, no more axiomatizability, no more consistency sentences, no more reductio ad absurdum, no more sequent calculus, and no more true-false questions.
Well, good riddance to that last one.
