Language and proof theory

Dov Gabbay, Ruth Kempson

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

1 Scopus citations

Original language	English
Pages (from-to)	247-251
Number of pages	5
Journal	Journal of Logic, Language and Information
Volume	5
Issue number	3-4
DOIs	https://doi.org/10.1007/BF00159340
State	Published - 1996

Access to Document

@article{7e06213b4a624cffbbde740065a594fe,

title = "Language and proof theory",

author = "Dov Gabbay and Ruth Kempson",

year = "1996",

doi = "10.1007/BF00159340",

language = "אנגלית",

volume = "5",

pages = "247--251",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

number = "3-4",

}

TY - JOUR

T1 - Language and proof theory

AU - Gabbay, Dov

AU - Kempson, Ruth

PY - 1996

Y1 - 1996

UR - http://www.scopus.com/inward/record.url?scp=34248791638&partnerID=8YFLogxK

U2 - 10.1007/BF00159340

DO - 10.1007/BF00159340

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:34248791638

SN - 0925-8531

VL - 5

SP - 247

EP - 251

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 3-4

ER -