Norges billigste bøker
Om Mathematical Logic

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780387942582
  • Bindende:
  • Hardback
  • Sider:
  • 291
  • Utgitt:
  • 10. juni 1994
  • Utgave:
  • 21994
  • Dimensjoner:
  • 166x241x21 mm.
  • Vekt:
  • 596 g.
  På lager
Leveringstid: 4-8 virkedager
Forventet levering: 20. januar 2025

Beskrivelse av Mathematical Logic

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

Brukervurderinger av Mathematical Logic



Finn lignende bøker
Boken Mathematical Logic finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.