Gaya APA

Metcalfe, M, B, A, G. (2010). Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic . : .

Gaya MLA

Metcalfe, Matthias, Baaz, And, George. "Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic". : , 2010. Text.