|
Volumn 30, Issue 6, 2001, Pages 613-616
|
First-order Frege theory is undecidable
|
Author keywords
Decidability; Extensions; Frege
|
Indexed keywords
|
EID: 33645336691
PISSN: 00223611
EISSN: 15730433
Source Type: Journal
DOI: 10.1023/A:1013362627445 Document Type: Article |
Times cited : (4)
|
References (4)
|