TY - BOOK AU - Richard J. Lipton, Kenneth W. Regan TI - People, Problems, and Proofs SN - 978-3-642-41422-0 PY - 2013/// KW - History of Computing KW - History of Mathematical Sciences KW - Mathematics of Computing KW - Theory of Computation KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-3-642-41422-0 ER -