David J. Pym – författare

Visar alla böcker från författaren David J. Pym.

3 produkter

Kategorier

3 produkter

Del 45

David J. Pym, Eike Ritter - Reductive Logic and Proof-search, Inbunden

Del 45 - Oxford Logic Guides

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

AvDavid J. Pym,Eike Ritter

Inbunden, Engelska, 2004

3 029 kr

Skickas inom 5-8 vardagar

Del 26

David J. Pym - Semantics and Proof Theory of the Logic of Bunched Implications, Inbunden

Del 26 - Applied Logic Series

Semantics and Proof Theory of the Logic of Bunched Implications

Inbunden, Engelska, 2002

2 099 kr

Skickas inom 10-15 vardagar

Del 26

David J. Pym - Semantics and Proof Theory of the Logic of Bunched Implications, Häftad

Del 26 - Applied Logic Series

Semantics and Proof Theory of the Logic of Bunched Implications

Häftad, Engelska, 2010

2 099 kr

Skickas inom 10-15 vardagar