TY - BOOK AU - Gerard O�Regan TI - Mathematics in Computing SN - 978-1-4471-4534-9 PY - 2013/// KW - Coding and Information Theory KW - History of Mathematical Sciences KW - Logics and Meanings of Programs KW - Math Applications in Computer Science KW - Mathematical Applications in Computer Science KW - Mathematical Logic and Formal Languages KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4534-9 ER -