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
EBBINGHAUS, H.-D.,FLUM, J.,THOMAS, WOLFGANG
Mathematical Logic
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
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9780387942582Mladinska knjiga ID
9780387942582Leto izida
1994Datum izida
10.06.1994Število strani
291Status dobavljivosti
7-10 delovnih dniZbirka
Undergraduate Texts in MathematicsZaložnik
Springer-Verlag New York Inc.Avtor
Ebbinghaus, H.-D.,Flum, J.,Thomas, WolfgangDimenzije
241 x 166 x 21BIC
PBCDOpis
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).Pogosto kupljeno skupaj
Trda vezava
Ostali so si ogledali tudi ...
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.