Tarski, Alfred Equationally complete rings and relation algebras. (English) Zbl 0073.24603 Nederl. Akad. Wet., Proc., Ser. A 59, 39-46 (1956). PDFBibTeX XMLCite \textit{A. Tarski}, Nederl. Akad. Wet., Proc., Ser. A 59, 39--46 (1956; Zbl 0073.24603)
Scott, Dana Equationally complete extensions of finite algebras. (English) Zbl 0073.24602 Nederl. Akad. Wet., Proc., Ser. A 59, 35-38 (1956). PDFBibTeX XMLCite \textit{D. Scott}, Nederl. Akad. Wet., Proc., Ser. A 59, 35--38 (1956; Zbl 0073.24602)
Kalicki, Jan The number of equationally complete classes of equations. (English) Zbl 0073.24601 Nederl. Akad. Wet., Proc., Ser. A 58, 660-662 (1955). PDFBibTeX XMLCite \textit{J. Kalicki}, Nederl. Akad. Wet., Proc., Ser. A 58, 660--662 (1955; Zbl 0073.24601)
Kalicki, Jan; Scott, Dana Equational completeness of abstract algebras. (English) Zbl 0073.24501 Nederl. Akad. Wet., Proc., Ser. A 58, 650-659 (1955). PDFBibTeX XMLCite \textit{J. Kalicki} and \textit{D. Scott}, Nederl. Akad. Wet., Proc., Ser. A 58, 650--659 (1955; Zbl 0073.24501)
Destouches, J. L. Sur la mécanique classique et l’intuitionnisme. (French) Zbl 0043.25004 Nederl. Akad. Wet., Proc., Ser. A 54, 74-79 (1951); Indagationes Math. 13, 74-79 (1951). PDFBibTeX XMLCite \textit{J. L. Destouches}, Nederl. Akad. Wet., Proc., Ser. A 54 (Indag. Math. 13), 74--79 (1951; Zbl 0043.25004)
Destouches-Février, P. Sur l’intuitionnisme et la conception strictement constructive. (French) Zbl 0043.25003 Nederl. Akad. Wet., Proc., Ser. A 54, 80-86 (1951); Indagationes Math. 13, 80-86 (1951). PDFBibTeX XMLCite \textit{P. Destouches-Février}, Nederl. Akad. Wet., Proc., Ser. A 54 (Indag. Math. 13), 80--86 (1951; Zbl 0043.25003)
Brouwer, L. E. J. On order in the continuum, and the relation of truth to non- contradictority. (English) Zbl 0043.25002 Nederl. Akad. Wet., Proc., Ser. A 54, 357-358 (1951); Indagationes Math. 13, 357-358 (1951). PDFBibTeX XMLCite \textit{L. E. J. Brouwer}, Nederl. Akad. Wet., Proc., Ser. A 54 (Indag. Math. 13), 357--358 (1951; Zbl 0043.25002)
Griss, G. F. C. Negationless intuitionistic mathematics. III. IVa. IVb. (English) Zbl 0043.25001 Nederl. Akad. Wet., Proc., Ser. A 54, 193-199, 452-462, 463-471 (1951); Indagationes Math. 13, 193-199, 452-462, 463-471 (1951). PDFBibTeX XMLCite \textit{G. F. C. Griss}, Nederl. Akad. Wet., Proc., Ser. A 54 (Indag. Math. 13), 193--199, 452--462, 463--471 (1951; Zbl 0043.25001)
Griss, G. F. C. Logic of negationless intuitionistic mathematics. (English) Zbl 0043.24903 Nederl. Akad. Wet., Proc., Ser. A 54, 41-49 (1951); Indagationes Math. 13, 41-49 (1951). PDFBibTeX XMLCite \textit{G. F. C. Griss}, Nederl. Akad. Wet., Proc., Ser. A 54 (Indag. Math. 13), 41--49 (1951; Zbl 0043.24903)