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 • hardcover

nonfiction mathematics medium-paced