✓

@book{torunczyk_FMT,
    author = {Szymon Toruńczyk},
    title = {Lectures on Finite Model Theory},
    year = {2022},
    date-added = {2024-9-29 20:49:35 +0100}
}

@book{torunczyk_FMT, author = {Szymon Toruńczyk}, title = {Lectures on Finite Model Theory}, year = {2022}, date-added = {2024-9-29 20:49:35 +0100} }