Oferta dotyczy 4 edycji tytułu. Stan książki dobry plus. Jedynym widocznym śladem u\użytkowania jest zagięcie tylnego górnego rogu okładki i kilku końcowych stron. Widoczne na dwóch ostatnich zdjęciach.

Opis:
Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Loewenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic.

In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Goedel translation, the disjunction and existence property are also included.