David J. Pym – författare

Visar alla böcker från författaren David J. Pym. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Reductive Logic and Proof-search

   Proof Theory, Semantics, and Control

   Av David J. Pym, Eike Ritter

   Inbunden, 2004

   3223 kr

   Lägg i varukorg

   This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, …

2. 

   Semantics and Proof Theory of the Logic of Bunched Implications

   Av David J. Pym

   Inbunden, 2002

   1641 kr

   Lägg i varukorg

   This is a monograph about logic. Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono­ graph is also about informatics in a sense which I explain. Specifically, it is about …

3. 

   Semantics and Proof Theory of the Logic of Bunched Implications

   Av David J. Pym

   Häftad, 2010

   1641 kr

   Lägg i varukorg

   This is a monograph about logic. Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono­ graph is also about informatics in a sense which I explain. Specifically, it is about …

4. 

   Semantics and Proof Theory of the Logic of Bunched Implications

   Av David J. Pym

   E-bok, 2013

   2111 kr

   Lägg i varukorg

   This is a monograph about logic. Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl''s proof theory, model theory and computation theory. However, the mono­ graph is also about informatics in a sense which I explain. Specifically, it is about …