A. Janiczak

A remark concerning decidability of complete theories

Antoni Janiczak, A. Janiczak, 1950, Journal of Symbolic Logic.

Undecidability of some simple formalized theories

A. Janiczak, A. Janiczak, 1953 .