Logic and the Art of Memory