TY - RPRT TI - The IFF Approach to the Lattice of Theories AU - Robert E. Kent PY - 2018 UR - https://arxiv.org/abs/1811.01144 ID - 1811.01144 ER -