✓

@book{ClementeTyszkiewicz,
    author = {Lorenzo Clemente and Jerzy Tyszkiewicz},
    title = {Problems in logic for computer science students},
    date-added = {2024-10-21 18:53:47 +0100}
}

@book{ClementeTyszkiewicz, author = {Lorenzo Clemente and Jerzy Tyszkiewicz}, title = {Problems in logic for computer science students}, date-added = {2024-10-21 18:53:47 +0100} }