Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic | UPT Perpustakaan UHAMKA