The sentential calculus with infinitely long expressions
Colloquium Mathematicum, Tome 6 (1958) no. 1, pp. 165-170
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_cm_6_1_165_170,
author = {D. Scott and Alfred Tarski},
title = {The sentential calculus with infinitely long expressions},
journal = {Colloquium Mathematicum},
pages = {165--170},
publisher = {mathdoc},
volume = {6},
number = {1},
year = {1958},
doi = {10.4064/cm-6-1-165-170},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-165-170/}
}
TY - JOUR AU - D. Scott AU - Alfred Tarski TI - The sentential calculus with infinitely long expressions JO - Colloquium Mathematicum PY - 1958 SP - 165 EP - 170 VL - 6 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-165-170/ DO - 10.4064/cm-6-1-165-170 LA - en ID - 10_4064_cm_6_1_165_170 ER -
D. Scott; Alfred Tarski. The sentential calculus with infinitely long expressions. Colloquium Mathematicum, Tome 6 (1958) no. 1, pp. 165-170. doi: 10.4064/cm-6-1-165-170
Cité par Sources :