Leblanc, Hugues Existence, truth, and provability. (English) Zbl 0502.03003 Albany, New York, USA: State University of New York Press. X, 466 p. $ 49.50; $ 21.50 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 2 Documents MSC: 03A05 Philosophical and critical aspects of logic and foundations 03B05 Classical propositional logic 03B10 Classical first-order logic 01A75 Collected or selected works; reprintings or translations of classics Keywords:existence; truth; provability; first order quantification calculi; truth- value semantics; second-order logics; Gentzen’s sequents; intuitionist and classical logic PDFBibTeX XML