Dosen Schroeder-Heister – författare

Visar alla böcker från författaren Dosen Schroeder-Heister. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Substructural Logics

   Av Dosen Schroeder-Heister, Kosta Dosen m. fl.

   Inbunden, 1993

   2215 kr

   Lägg i varukorg

   Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus …