Undecidability of some simple formalized theories

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

A. Janiczak Fundamenta Mathematicae 40 (1953), 131-139 DOI: 10.4064/fm-40-1-131-139