Functional Interpretation of Logical Deduction

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

MLA

Queiroz, Ruy J. G. B. de, and Anjolina G. De Oliveira. Functional Interpretation of Logical Deduction. World Scientific Publishing Co Pte Ltd, 2011.