Logic & Language

Higher-Order Logic and Type Theory New Edition Author(s): John L. Bell (Author) Publisher: Cambridge University Press Pu...