David J. Pym - Böcker

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

4 produkter

Böcker

4 produkter

Del 45

David J. Pym, Eike Ritter, Bristol) Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, University of Birmingham) Ritter, Eike (, Lecturer in Computer Science - Reductive Logic and Proof-search, Inbunden

Del 45 - Oxford Logic Guides

Reductive Logic and Proof-search

Av David J. Pym, Eike Ritter, Bristol) Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, University of Birmingham) Ritter, Eike (, Lecturer in Computer Science

Inbunden, Engelska, 2004

2 919 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

Av David J. Pym

Inbunden, Engelska, 2002

2 109 kr

Skickas inom 10-15 vardagar

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

Semantics and Proof Theory of the Logic of Bunched Implications

Av David J. Pym

Häftad, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar

Matthew Collinson, Brian Monahan, David J. Pym - Discipline of Mathematical Systems Modelling, Häftad

Discipline of Mathematical Systems Modelling

Av Matthew Collinson, Brian Monahan, David J. Pym

Häftad, 2012

389 kr

Slutsåld