Functional Interpretation of Logical Deduction, The - De Oliveira Anjolina G Et Al (World Scientific, 2011)
Keywords: Computer Science