Belnap, N. D. jun.; Thomason, R. H. A rule-completeness theorem. (English) Zbl 0118.01303 Notre Dame J. Formal Logic 4, 39-43 (1963). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents Keywords:mathematical logic PDFBibTeX XMLCite \textit{N. D. Belnap jun.} and \textit{R. H. Thomason}, Notre Dame J. Formal Logic 4, 39--43 (1963; Zbl 0118.01303) Full Text: DOI