"The complexity of theorem-proving procedures" Stephen Cook (1971) | Heykuki News