Multiple-conclusion Logic - Schosmith D.J., Smiley T.J. Vezi publicația: Revue Roumaine de Mathematiques Pures et Appliquees Anul publicaţiei: 1980Referinţă bibliografică pentru nr. revistă: xxv-1; anul 1980 Paginaţia: 122-122 Navigare în nr. revistă: |< < 20 / 40 > >| Realizatori:  CALUDE, Cristian (autor) Descriptori:  Matematică