THE FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION

2011-10-31 分类：计算机与互联网

by: de Queiroz, Ruy J. G. B.; Gabbay, Dov M.; de Oliveira, Anjolina G

Publisher: World Scientific Publishing Company ( 2011-10-31 )

ISBN-13: 9789814360951

e-ISBN-13: 9789814360968

ISBN-10: 9814360953

Language: English

电子书代发PDF格式价格10元我要求助