why Formal at abstract level (00:00) Prime Numbers (10:00) Resolution (23:00) FOL (40:00)
No download links available.