(NoSNOWANIQ MATEMATIKIs (NLOGI^(B. (NIS^ISLENIQ I FORMALIZACIQ ARIFMETIKI (B: (NPER(B. (NS NEM(B.s - (NgILXBERT(B,(Nd(B.s (NdAWIDs; (NbERNAJS(B,(Np(B.s (NpAULXs ((Nm(B.s (NnAUKAs, 1982)
Keywords: (NmATEMATI^ESKAQ LOGIKAs