Hoppa till sidans huvudinnehåll

Mathematical Logic

Inbunden, Engelska, 1994

AvH.-D. Ebbinghaus,J. Flum,Wolfgang Thomas,H. -D Ebbinghaus,H. -D. Ebbinghaus

829 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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).

Produktinformation

  • Utgivningsdatum1994-06-10
  • Mått155 x 235 x 21 mm
  • Vikt596 g
  • FormatInbunden
  • SpråkEngelska
  • SerieUndergraduate Texts in Mathematics
  • Antal sidor291
  • Upplaga2
  • FörlagSpringer-Verlag New York Inc.
  • ISBN9780387942582

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Selecta Mathematica II

H.D. Ebbinghaus, F.K. Mahn, Hans Hermes, Konrad Jacobs, H. D. Ebbinghaus, F. K. Mahn, H.D. Ebbinghaus, F.K. Mahn

Häftad

639 kr

Zahlen

H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, A. Prestel, R. Remmert, H. -D Ebbinghaus, K. Lamotke

Häftad

889 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av

Trauma Resuscitation

Peter A. Driscoll, Olive Goodall, Carl Gwinnutt, Cindy Leduc Jimmerson

Häftad

1 599 kr

Handbook of Bureaucracy

Ali Farazmand, USA) Farazmand, Ali (Florida Atlantic University, Boca Raton

Inbunden

4 049 kr