Søgning - alle produkter
Find og sammenlign priser på produkter fra danske webshops. Brug søgefeltet eller browse efter kategorier for at finde det du leder efter.
John L. Bell
Higher-Order Logic and Type Theory
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 wi
224,95 kr.