Readers of these lists may be interested in the following new monograph in OUP's Oxford Logic Guides series (number 45): Reductive Logic and Proof-search: Proof Theory, Semantics, and Control by David Pym and Eike Ritter. http://www.oup.co.uk/isbn/0-19-852633-4 also linked from http://www.bath.ac.uk/~cssdjp Contents: Preface Foreword by Lincoln Wallen 1 Deductive Logic, Reductive Logic, and Proof-search 2 Lambda-calculi for Intuitionistic and Classical Proofs 3 The Semantics of Intuitionistic and Classical Proofs 4 Proof Theory for Reductive Logic 5 Semantics for Reductive Logic 6 Intuitionistic and Classical Proof-search and Their Semantics References Index With thanks, David Pym -- Prof. David J. Pym Telephone: +44 (0)1 225 38 3246 Professor of Logic & Computation Facsimile: +44 (0)1 225 38 3493 University of Bath Email: d.j.pym@bath.ac.uk Bath BA2 7AY, England, U.K. Web: http://www.bath.ac.uk/~cssdjp