电子书百科大全THE FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION
Authors: de Queiroz, Ruy J. G. B.; Gabbay, Dov M.; de Oliveira, Anjolina G
Get this book Contact Email: girro@qq.com
Publisher: World Scientific Publishing Company ( 2011-10-31 )
ISBN-13: 9789814360951
e-ISBN-13: 9789814360968
ISBN-10: 9814360953
QQ: 7450911
Language: English