(NoSNOWANIQ MATEMATIKI (B:s (NlOGI^ESKIE IS^ISLENIQ I FORMALIZACIQ ARIFMETIKI (B/s - (NgILXBERT(B, (NdAWIDs; (NbERNAJS(B, (NpAULXs; (NnAGORNYJ(B, (Nn(B.(Nm(B.s; d ((NmOSKWA (B:s (NnAUKA(B. (NgL(B. (NRED(B. (NFIZ(B.-(NMAT(B. (NLIT(B.,s, 1982)
D.Hilbert, P. Bernays -
Keywords: (NkOMBINATORNYJ ANALIZs