Anjolina G. de Oliveira

1 book

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

The Functional Interpretation of Logical Deduction

Advances in Logic

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

266 pages • hardcover

nonfiction mathematics medium-paced