Κύριοι συγγραφείς:	Γεωργαράς, Ιωάννης Θ., Georgaras, Ioannis Th.
Άλλοι συγγραφείς:	N/A
Μορφή:	masterThesis
Έκδοση:	N/A 1970
Θέματα:	Φυσική απαγωγή Τυπικά συστήματα Κανόνας τομής Απαλοιφή τομής Γενικευμένοι κανόνες απαλοιφής Hauptsatz Natural deduction Formal systems Cut rule Cut elimination General elimination rules
Διαθέσιμο Online:	http://dspace.lib.ntua.gr/handle/123456789/39585