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

D J Pym, E Ritter

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationOxford
PublisherClarendon Press
ISBN (Print)0198526334
Publication statusPublished - 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.

Oxford : Clarendon Press, 2004.

Research output: Book/ReportBook

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.
Pym, D J ; 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 -