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元立即求助

1111

 打赏