Schagrin, Morton L.
The Language of logic: a programed text
Random House , 1968
Buku Teks
Downward, Michael
Logic and declarative language
Taylor and Francis, 1998
Buku Teks
Ayer, Alfred Jules, 1910-1989
A pelican book: Language, truth and logic
Penguin Books, 1980
Buku Teks
McCulloch, Gregory
The game of the name: introducing logic, language, and mind
Clarendon Press , 1989
Buku Teks SO
LYaPAS: a programming language for logic and coding algorithms
Academic Press , 1969
Buku Teks