* New OUP Monograph: Reductive Logic and Proof-search.
@ 2004-06-08 15:34 David J. Pym
0 siblings, 0 replies; only message in thread
From: David J. Pym @ 2004-06-08 15:34 UTC (permalink / raw)
To: categories
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2004-06-08 15:34 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-06-08 15:34 New OUP Monograph: Reductive Logic and Proof-search David J. Pym
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).