Functional Interpretation of Logical Deduction

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

BibTeX

@book{queiroz2011, author = {Queiroz, Ruy J. G. B. de and Oliveira, Anjolina G. De}, title = {Functional Interpretation of Logical Deduction}, publisher = {World Scientific Publishing Co Pte Ltd}, year = {2011}, isbn = {9789814360951} }