Basic Methods of Cryptography Jan C. A. van der Lubbe 1998 Cambridge University July 17, 2026 1 min read
Truth, Deduction, Computation Ruth E. Davis 1989 Logic Computer Science Press July 17, 2026 1 min read