The Closed Fragment of the Interpretability Logic of PRA with a constant for IotaSigma1

J.J. Joosten

Research output: Book/Report › Book › Academic

Published in the proceedings of the ESSLLI 2003 student session: Formalizeed Interpretability in Primitive Recursive Arithmetic

Cite this

@book{d40f39773a3a434e9c01367b26c490b8,

title = "The Closed Fragment of the Interpretability Logic of PRA with a constant for IotaSigma1",

author = "J.J. Joosten",

note = "Published in the proceedings of the ESSLLI 2003 student session: Formalizeed Interpretability in Primitive Recursive Arithmetic",

year = "2003",

language = "Undefined/Unknown",

volume = "218",

publisher = "Department of Philosophy",

edition = "Logic Group Preprint Series",

}

TY - BOOK

T1 - The Closed Fragment of the Interpretability Logic of PRA with a constant for IotaSigma1

AU - Joosten, J.J.

N1 - Published in the proceedings of the ESSLLI 2003 student session: Formalizeed Interpretability in Primitive Recursive Arithmetic

PY - 2003

Y1 - 2003

M3 - Book

VL - 218

BT - The Closed Fragment of the Interpretability Logic of PRA with a constant for IotaSigma1

PB - Department of Philosophy

CY - Utrecht

ER -