The sentential calculus with infinitely long expressions
Scott, D. ; Tarski, Alfred
Colloquium Mathematicae, Tome 6 (1958), p. 165-170 / Harvested from The Polish Digital Mathematics Library
Publié le : 1958-01-01
EUDML-ID : urn:eudml:doc:210355
@article{bwmeta1.element.bwnjournal-article-cmv6i1p165bwm,
     author = {D. Scott and Alfred Tarski},
     title = {The sentential calculus with infinitely long expressions},
     journal = {Colloquium Mathematicae},
     volume = {6},
     year = {1958},
     pages = {165-170},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-cmv6i1p165bwm}
}
Scott, D.; Tarski, Alfred. The sentential calculus with infinitely long expressions. Colloquium Mathematicae, Tome 6 (1958) pp. 165-170. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-cmv6i1p165bwm/