000			00586nam a2200205 4500
008			160616s2012 000 0
245			_aFunctional interpretation of logical deduction
100			_aQueiroz, Ruy, J G B De
100			_aOliveira, Anjolina, G De
100			_aGabbay, Dov M
260			_aSingapore
260			_bWorld scientific
260			_c2012
300			_a266
440			_aAdvances in logic ; 00005
020			_a9789814360951
650			_aLogic and computation _aOliveira, Anjolina, G De _aGabbay, Dov M
942			_cBK _2BK26522
080			_a510.6 QUE
999			_c26522 _d26522