Description: Πολυπλοκότητα αποδείξεων προτασιακού λογισμού=

Main Author:	Σουλδάτος, Γιάννης
Format:	Book
Language:	Greek
Published:	Αθήνα: [χ.ό.], 2002
Subjects:	Λογική, Συμβολική και μαθηματική

Item Description:	Επιβλέπων καθηγητής Γ. Κολέτσος
Physical Description:	63 σ. ; 30 εκ.
Bibliography:	Περιλαμβάνει βιβλιογραφικές αναφορές