Reductive Logic and Proof-search : Proof Theory, Semantics, and Control Pym, David J. Ritter, Eike 9780198526339 Oxford Logic Guides Innbundet 29.04.2004 Engelsk I salg