TY - DATA AU - Zhe Hou TI - Fundamentals of Logic and Computation T2 - Texts in Computer Science SN - 9783030878825 PB - springer KW - Arithmetic and Logic Structures KW - Computer Science UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-87882-5 ER -