Statistics of Semantics and proof-theory of depth bounded Boolean logics

Contact ORBilu