. . . . . . . . . "Introduction to symbolic logic applications"@en .