The interpretability logic of all reasonable arithmetical theories

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

guest editor Godehard Link

Cite this

@article{61d9cbbfea82456295f6a5ceb521f08e,

title = "The interpretability logic of all reasonable arithmetical theories",

author = "A. Visser and J.J. Joosten",

note = "guest editor Godehard Link",

year = "2000",

language = "Undefined/Unknown",

volume = "53",

pages = "3--26",

journal = "Erkenntnis",

issn = "0165-0106",

publisher = "Springer Netherlands",

number = "1-2",

}