Κύριος συγγραφέας:	Gallier, Jean H.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York : Wiley, c1987
Θέματα:	Logic, Symbolic and mathematical Automatic theorem proving Thβeorαemes > Dβemonstration automatique Logique symbolique et mathβematique