On the Termination of Russell's Description Elimination Algorithm

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

Keywords

@article{52d3945930264bada84d5455d1098cc7,

title = "On the Termination of Russell's Description Elimination Algorithm",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "C.A. Grabmayer and J Leo and \{van Oostrom\}, V. and A. Visser",

year = "2011",

doi = "10.1017/S1755020310000286",

language = "English",

volume = "4",

pages = "367--393",

journal = "Review of Symbolic Logic",

issn = "1755-0211",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - On the Termination of Russell's Description Elimination Algorithm

AU - Grabmayer, C.A.

AU - Leo, J

AU - van Oostrom, V.

AU - Visser, A.

PY - 2011

Y1 - 2011

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

U2 - 10.1017/S1755020310000286

DO - 10.1017/S1755020310000286

M3 - Article

SN - 1755-0211

VL - 4

SP - 367

EP - 393

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 3

ER -