Proof complexity - Krajíček, Jan 1960- (Cambridge University Press, 2019)
Keywords: Proof theory; Computational complexity; Beweistheorie; Komplexitätstheorie