Κύριος συγγραφέας:	Enderton, Herbert B.
Συγγραφή απο Οργανισμό/Αρχή:	Harcourt/Academic Press
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	San Diego New York: Harcourt/ Academic Press, c2001
Έκδοση:	2nd ed.
Θέματα:	Λογική, Συμβολική και μαθηματική Logic, Symbolic and mathematical Mathematics Logic Computer programming languages Algorithms Symbolic logic Mathematical models Mathematical analysis ΛΟΓΙΚΗ, ΣΥΜΒΟΛΙΚΗ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ
Διαθέσιμο Online:	http://www.loc.gov/catdir/toc/els031/00110670.html