Czermak, Johannes A remark on Gentzen’s calculus of sequents. (English) Zbl 0314.02026 Notre Dame J. Formal Logic 18, 471-474 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 11 Documents MSC: 03B10 Classical first-order logic 03B99 General logic PDFBibTeX XMLCite \textit{J. Czermak}, Notre Dame J. Formal Logic 18, 471--474 (1977; Zbl 0314.02026) Full Text: DOI