logtk

Core types and algorithms for logic