Orlowska, Ewa Theorem-proving systems. (English) Zbl 0268.68041 Dissertationes Math., Warszawa 103, 51 p. (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 03B05 Classical propositional logic 03B45 Modal logic (including the logic of norms) 03B50 Many-valued logic 03B10 Classical first-order logic PDFBibTeX XML