Caleb Stanford


Tags > logic

ProvableP vs ProvableNP
Uncomputable binary relations