(NmATEMATI^ESKAQ LOGIKAs - (NmATEMATI^ESKAQ LOGIKA I OSNOWANIQ MATEMATIKIs ((NmOSKWAs (NnAUKA GLAWNAQ REDAKCIQ FIZIKO(B-(NMATEMATI^ESKOJ LITERATURYs, 1975)