Norges billigste bøker

Substructural Logics

Om Substructural Logics

Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780198537779
  • Bindende:
  • Hardback
  • Sider:
  • 396
  • Utgitt:
  • 16. desember 1993
  • Dimensjoner:
  • 163x241x27 mm.
  • Vekt:
  • 805 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 16. mai 2025

Beskrivelse av Substructural Logics

Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories.

Brukervurderinger av Substructural Logics



Finn lignende bøker
Boken Substructural Logics 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.