Ulrich, Dolph Some results concerning finite models for sentential calculi. (English) Zbl 0212.01605 Notre Dame J. Formal Logic 13, 363-368 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B25 Decidability of theories and sets of sentences 03B99 General logic PDFBibTeX XMLCite \textit{D. Ulrich}, Notre Dame J. Formal Logic 13, 363--368 (1972; Zbl 0212.01605) Full Text: DOI