The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic

^*Corresponding author for this work

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

Original language	English
Pages (from-to)	97-113
Number of pages	17
Journal	Journal of Philosophical Logic
Volume	13
Issue number	1
DOIs	https://doi.org/10.1007/BF00297579
Publication status	Published - Feb 1984

Access to Document

@article{9fd999513b27460ab178a444e5840ad8,

title = "The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic",

author = "Albert Visser",

year = "1984",

month = feb,

doi = "10.1007/BF00297579",

language = "English",

volume = "13",

pages = "97--113",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic

AU - Visser, Albert

PY - 1984/2

Y1 - 1984/2

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

U2 - 10.1007/BF00297579

DO - 10.1007/BF00297579

M3 - Article

AN - SCOPUS:0010716496

SN - 0022-3611

VL - 13

SP - 97

EP - 113

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 1

ER -