The classic expositions are Boolos 1984, and Lewis 1991.
آثار کلاسیک در این زمینه، Boolos 1984 و Lewis 1991 هستند.