Semantic Foundations of Proof-search

D J Pym

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)634-638
Number of pages5
JournalJournal of Logic and Computation
Volume13
Issue number5
Publication statusPublished - 2003

Cite this