computation sipser quine theory idea approach self
See more