Ruy J. G. B. de Queiroz

1 book

The Functional Interpretation of Logical Deduction by Dov M. Gabbay, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

The Functional Interpretation of Logical Deduction

Advances in Logic

Dov M. Gabbay, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

266 pages • missing pub info (editions)

nonfiction mathematics medium-paced