Bemærk: Kan ikke leveres før jul.
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order... Læs mere
Bemærk: Kan ikke leveres før jul.
In this new edition basic calculus, together with some of its applications to simple physical problems, are presented through the use of a straightforward, rigorous,... Læs mere