Undecidable Theories: Studies in Logic and the Foundation of Mathematics

Undecidable Theories

Studies in Logic and the Foundation of Mathematics

2010