Functional Interpretation of Logical Deduction

Name: Functional Interpretation of Logical Deduction
ISBN: 9789814360951

Ruy J. G. B. de Queiroz, Anjolina G. De Oliveira · World Scientific Publishing Co Pte Ltd · 2011

Wikipedia

{{cite book |last=Queiroz |first=Ruy J. G. B. de |title=Functional Interpretation of Logical Deduction |publisher=World Scientific Publishing Co Pte Ltd |year=2011 |isbn=9789814360951}}