Abstract
Authors
T. Rus
Institutul de Calcul
Keywords
?
Paper coordinates
T. Rus, On a formal system. II. (Romanian) Stud. Cerc. Mat. 15 1964 595–615.
??
About this paper
Journal
Studii si Cercetari Matematice
Publisher Name
Academia Republicii S.R.
DOI
Print ISSN
1220-269X
Online ISSN
google scholar link
??