Semantic Foundations of Proof-search

D J Pym

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	634-638
Number of pages	5
Journal	Journal of Logic and Computation
Volume	13
Issue number	5
Publication status	Published - 2003

ID number: ISI:000186445700001

Cite this

@article{2f149589eec649bbb1beeb98eb7612ed,

title = "Semantic Foundations of Proof-search",

author = "Pym, {D J}",

note = "ID number: ISI:000186445700001",

year = "2003",

language = "English",

volume = "13",

pages = "634--638",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "5",

}