00533pam a2200181 a 4500008004100000020001500041020001800056040000800074050001900082245006800101260004400169300001900213505001700232518001500249650001800264650003800282700003100320910409s1992    enka     b    001 0 eng    a0415023351  a9780415023351  aSDU00aQA9bP962 199100aProof, logic, and formalization /cedited by Michael Detlefsen.  aLondon ;aNew York :bRoutledge,c1992.  a241 p. :bill.  aHKBU library  aYT2025 M10 0aProof theory. 0aLogic, Symbolic and mathematical.1 aDetlefsen, Michael,d1948-