THE FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION
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
未经允许不得转载：Wow! eBook » THE FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION