@Book{Luk63,
    Author       = "{\L}ukasiewicz, J.",
    Year         = "1963",
    Title        = "{Elements of Mathematical Logic}",
    Publisher    = "Pergamon Press",
    Comment      = "TPTPRef, English translation of the second Edition (1958)
                    of Elementy logiki matematycznej, PWN, Warsaw."
}