Abstract
Authors
T. Rus ,Institutul de calcul
Keywords
?
Paper coordinates
T. Rus, On a formal system. I. (Romanian) Stud. Cerc. Mat. 15 (1964), 459–470.
About this paper
Journal
Studii si Cercetari Matematice
Publisher Name
Academy of the Republic of S.R.
DOI
Print ISSN
1220-269X
Online ISSN
google scholar link
??