@article{Scott1962,
    author = {Scott, Dana},
    journal = {Journal of Symbolic Logic},
    pages = {377},
    title = {A decision method for validity of sentences in two variables},
    volume = {27},
    year = {1962},
    date-added = {2024-3-31 7:59:27 +0100}
}

@article{Scott1962, author = {Scott, Dana}, journal = {Journal of Symbolic Logic}, pages = {377}, title = {A decision method for validity of sentences in two variables}, volume = {27}, year = {1962}, date-added = {2024-3-31 7:59:27 +0100} }