Viser Innbunden bok · Vis alle
Vis utilgjengelige utgivelser

Releases med Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

29. april 2004

Cover for Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) · Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides (Innbunden bok) (2004)

Reductive Logic and Proof-search... (2004)

Pym, David J. (, Professor of Lo...