Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
€ 287,95
+ 575 punten
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 272
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 22
Eigenschappen
- Productcode (EAN):
- 9780471060260
- Verschijningsdatum:
- 1/04/1997
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 163 mm x 241 mm
- Gewicht:
- 580 g
Alleen bij Standaard Boekhandel
+ 575 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.