00712nam a22002057a 4500003000400000005001700004008004100021020001800062245014400080260003700224653001600261653002400277653001000301653002100311653004400332700002600376700002900402700003000431856004500461OSt20221103145604.0221103b        |||||||| |||| 00| 0 eng d  a9780511896262  aProof theory : a selection of papers from the leeds proof theory programme 1990cedited by Peter Aczel, Harold Simmons and Stanley S Wainer  aCambridge university pressc2011  aMathematics  aCategories and sets  aLogic  aComputer science  aProgramming languages and applied logic  aAczel, Peter eEditor  aSimmons, Harold eEditor  aWainer, Stanley SeEditor  uhttps://doi.org/10.1017/CBO9780511896262