Afficher Hardcover Book · Afficher tout
Montrer les articles indisponibles

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

29 avril 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 (Hardcover Book) (2004)

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

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