Spisani, Franco Use of parentheses in relative multiplier and divisor operations. (English) Zbl 0709.03506 Int. Logic Rev. 35, 9-12 (1987). MSC: 03-XX PDFBibTeX XMLCite \textit{F. Spisani}, Int. Logic Rev. 35, 9--12 (1987; Zbl 0709.03506)
Spisani, Franco Uso delle parentesi nelle operazioni con numeri relativi moltiplicatori e divisori. (Italian) Zbl 0709.03505 Int. Logic Rev. 35, 5-8 (1987). MSC: 03-XX PDFBibTeX XMLCite \textit{F. Spisani}, Int. Logic Rev. 35, 5--8 (1987; Zbl 0709.03505)
Mirasyedioğlu, Şeref \(\lambda\)-Boolean theory. (English) Zbl 0656.03008 Int. Logic Rev. 35, 13-27 (1987). Reviewer: P.Materna MSC: 03B40 PDFBibTeX XMLCite \textit{Ş. Mirasyedioğlu}, Int. Logic Rev. 35, 13--27 (1987; Zbl 0656.03008)
Blum, Alex D-validity in predicate logic with individual constants. (English) Zbl 0652.03007 Int. Logic Rev. 35, 28-31 (1987). MSC: 03B10 PDFBibTeX XMLCite \textit{A. Blum}, Int. Logic Rev. 35, 28--31 (1987; Zbl 0652.03007)