✓

@book{pratt2023fragments,
    title = {Fragments of First-Order Logic},
    author = {Pratt-Hartmann, Ian},
    isbn = {9780192867964},
    lccn = {2023394227},
    series = {Oxford Science Publications},
    url = {https://books.google.pl/books?id=_FazEAAAQBAJ},
    year = {2023},
    publisher = {Oxford University Press},
    date-added = {2026-1-9 7:25:31 +0100}
}

@book{pratt2023fragments, title = {Fragments of First-Order Logic}, author = {Pratt-Hartmann, Ian}, isbn = {9780192867964}, lccn = {2023394227}, series = {Oxford Science Publications}, url = {https://books.google.pl/books?id=_FazEAAAQBAJ}, year = {2023}, publisher = {Oxford University Press}, date-added = {2026-1-9 7:25:31 +0100} }