Describir: Two-valued iterative systems of mathematical logic. (am-5).