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
??