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