Halper-Aristotle on the Extension of Non-Contradiction
Cryptography Lecture 8: Primality Testing and Factoring Piotr Faliszewski.