Complications in making first-order logic nice by Ben Hansen | Lex | Lex