Үүнийг мессежээр илгээх: New Methods in symbolic logic/