Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 - Aczel, Peter; Simmons, Harold; Wainer, Stanley S. (Cambridge : Cambridge University Press, 2008)
1 3
Keywords: Proof theory