Αποτελέσματα αναζήτησης συγγραφέα

1

Εξώφυλλο

Natural Deduction with General Elimination Rules and a Proof of Hauptsatz without multicut

ανά Γεωργαράς, Ιωάννης Θ., Georgaras, Ioannis Th.
Έκδοση 1970

Λήψη πλήρους κειμένου

masterThesis

Cannot write session to /tmp/vufind_sessions/sess_581l99dh3k9d3or9ofv6tjko86