'Higher-Order Logic and Type Theory' - John L. Bell - Bog

Brand: John L. Bell

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of hig

Reklamelink — vi modtager en kommission fra produkter købt igennem siden. Det påvirker ikke prisen for dig. Der tages forbehold for udsolgte varer, tastefejl og prisændringer.