Scott, D.; Tarski, A. The sentential calculus with infinitely long expressions. (English) Zbl 0119.25002 Colloq. Math. 6, 165-170 (1958). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 11 Documents Keywords:mathematical logic × Cite Format Result Cite Review PDF Full Text: DOI EuDML