Mathematical Logic

Engelstalig

H.-D. Ebbinghaus, Jörg Flum, Wolfgang Thomas

Beoordeel dit boek

Mathematical Logic - H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas

Toon vergroting afbeelding 1

Toon vergroting afbeelding 2

Mathematical Logic - H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas 1

Mathematical Logic - H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas 2

Toon afbeelding 1

Toon afbeelding 2

Hardback

Koop Tweedehands

Niet tweedehands beschikbaar.

Houd me op de hoogte!

Ontvang een e-mailbericht zodra dit boek weer tweedehands leverbaar is.

Koop NieuwWeb only

Niet nieuw beschikbaar.

Ook verkrijgbaar als

Vanaf € 76,49

Omschrijving

Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).

Anderen bekeken ook

Specificaties

Auteur:
H.-D. Ebbinghaus, Jörg Flum, Wolfgang Thomas
Uitgever:

Springer-Verlag New York Inc.
ISBN:
9780387942582
Bindwijze:
Hardback
Afmetingen:
16,1 x 23,9 x 1,9 cm
Gewicht:
549 gram
Aantal Pagina's:
291
Taal:

Engelstalig
Druk:
1e
Publicatiedatum:
Juni 1994
Rubriek:

Wetenschap > Wiskunde

Recensies

Gemiddelde waardering

Nog geen beoordelingen

Recensies van onze lezers

Beoordeel dit boek als eerste!

Om een recensie te schrijven moet je zijn.

Hoe controleren en plaatsen wij recensies?

Home
> Mathematical Logic