Ayer, Alfred Jules, 1910-1989
Language, truth and logic
Dover, 1952
 Buku Teks SO
Barwise, Jon
Language proof and logic
CSLI Publications, 2000
 Buku Teks SO
Schagrin, Morton L.
The language of logic: a programed text
Random House, 1968
 Buku Teks SO
Downward, Michael
Logic and declarative language
Taylor and Francis, 1998
 Buku Teks SO
Ayer, Alfred Jules, 1910-1989
A pelican book: Language, truth and logic
Penguin Books, 1980
 Buku Teks SO