Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

€ 287,95

+ 575 punten

Levering 2 à 3 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

A comprehensive introduction to the study of deductive argument, structure and relations of statements found in symbolic logic. Beginning with introductory material that develops the theory of relational structures with a particular emphasis on Boolean algebras, the text goes on to introduce and discuss formulas, the truth relation, theories, models, definability, compactness, ultraproducts, realization, omitting of types, and so on. The second half of the text consists of famous theorems crucial in the development of mathematical logic including Godel's theory, Goodstein's theorem from Peano arithmetic, Cohen's proof of Tarski's theorem on elimination of quantifiers, and the Matiyasevich theorem on diophantine relations.