Természetes levezetés és szekvenslogika - Szécsényi Tibor (1984)