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