On a formal system. II.
Abstract AuthorsT. Rus, Institutul de Calcul Teodor Rus Keywords? Paper coordinatesT. Rus, On a formal system. II. (Romanian) Stud. Cerc. Mat. 15 1964 595–615. PDFhttps://ictp.acad.ro/wp-content/uploads/2026/10/1964-Rus-SCM-Bucuresti-Asupra-unui-sistem-formal-II.pdf About this paperJournalStudii si Cercetari Matematice Publisher NameAcademia Republicii…
