Original language | English |
---|---|

Place of Publication | Oxford |

Publisher | Clarendon Press |

ISBN (Print) | 0198526334 |

Publication status | Published - 2004 |

### Cite this

Pym, D. J., & Ritter, E. (2004).

*Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control*. Oxford: Clarendon Press.**Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.** / Pym, D J; Ritter, E.

Research output: Book/Report › Book

Pym, DJ & Ritter, E 2004,

*Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control*. Clarendon Press, Oxford.Pym DJ, Ritter E. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford: Clarendon Press, 2004.

@book{6352782e3f22420eac87f99e8f32fb21,

title = "Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control",

author = "Pym, {D J} and E Ritter",

year = "2004",

language = "English",

isbn = "0198526334",

publisher = "Clarendon Press",

address = "UK United Kingdom",

}

TY - BOOK

T1 - Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

AU - Pym, D J

AU - Ritter, E

PY - 2004

Y1 - 2004

M3 - Book

SN - 0198526334

BT - Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

PB - Clarendon Press

CY - Oxford

ER -