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. Clarendon Press.