Κύριος συγγραφέας:	Enderton, Herbert B.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	San Diego, CA. : Academic Press, c1972
Θέματα:	Logic, Symbolic and mathematical Mathematics Logic Computer programming languages Algorithms Symbolic logic Mathematical models Mathematical analysis