Get This : The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.

Title : The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.

Call Number : No call number

Status : Unknown