Zaslavsky, I.D. 2021. Classical and Non-Classical Logic, Logical Methods for Electronic Circuits Testing. Mathematical Problems of Computer Science. 34, (Dec. 2021), 33–34.