Light Affine Set Theory: A Naive Set Theory of Polynomial Time (2004)

by Kazushige Terui
Citations:12 - 1 self