Ο τύπος της αλήθειας Α1=ΤΟ1 Κ1 Μ1 : διά την κατά μαθηματικόν τρόπον απόδειξιν των εννοιών - Κωνσταντόπουλος, Χαράλαμπος Ν. ([χ.ό.], 1963)