Short Single Axioms for Boolean Algebra*
Ordered Semantic Hyper Tableaux
More Proofs of an Axiom of Łukasiewicz
Hilbert's Twenty-Fourth Problem*
Mathematical Programming Embeddings of Logic