Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Substructural Logics

Substructural Logics

del av Studies in Logic and Computation-serien

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198537779
  • Format:
  • Inbunden
  • Sidor:
  • 396
  • Utgiven:
  • 16. december 1993
  • Mått:
  • 163x241x27 mm.
  • Vikt:
  • 805 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 12. juni 2025

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

Användarnas betyg av Substructural Logics



Hitta liknande böcker
Boken Substructural Logics finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.