Udvidet returret til d. 31. januar 2025

Mathematical Logic - H.-D. Ebbinghaus - Bog

Bag om Mathematical Logic

This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780387961705
  • Indbinding:
  • Paperback
  • Sideantal:
  • 216
  • Udgivet:
  • 15. juli 1985
  • Udgave:
  • 1198421985
  • Ukendt - mangler pt..

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Mathematical Logic

This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic).

Brugerbedømmelser af Mathematical Logic



Find lignende bøger
Bogen Mathematical Logic findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.