PakCat catalogue record

Undecidable theories

By Tarski, Alfred

Bibliographic details

Additional authors

Mostowski, Andrzej. Robinson, Raphael M.

Subjects

Go"del's theorem.