BR SPCLEARQ AIA-I-104
·
Pièce
·
1969
Fait partie de Ayda Ignez Arruda
WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin delAcadémie Polonaise des sciences, v.18, n.6, p.333-335, 1969.
Sans titre