Παραπομπή APA

Γεωργαράς, Ι. Θ., & N/A. (1970). Natural Deduction with General Elimination Rules and a Proof of Hauptsatz without multicut. N/A.

Παραπομπή Chicago Style

Γεωργαράς, Ιωάννης Θ., and N/A. Natural Deduction With General Elimination Rules and a Proof of Hauptsatz Without Multicut. N/A, 1970.

Παραπομπή MLA

Γεωργαράς, Ιωάννης Θ., and N/A. Natural Deduction With General Elimination Rules and a Proof of Hauptsatz Without Multicut. N/A, 1970.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.