Theorem-proving systems
Ewa Orłowska
GDML_Books, (1973), p.

CONTENTSIntroduction.................................................................................................................... 6Chapter I. Theorem-proving system§ 1. Theory...................................................................................................................... 7§ 2. Fundamental theory Tƒ ................................................................................ 8§ 3. Theorem-proving system.................................................................................... 16Chapter II. Theorem-proving process§ 1. Diagram of a formula........................................................................................... 20§ 2. The set T of partial diagrams.............................................................................. 20§ 3. Properties of the set T of partial diagram......................................................... 22§ 4. Theorem-proving process........................................................................ 27Chapter III. Properties of theorem-proving systems§ 1. Existence and uniqueness of an unextendable process.............................. 32§ 2. Properties of the set of theorem-proving processes..................................... 33§ 3. C- systems............................................................................................................. 36§ 4. Equivalence of theorem-proving systems........................................................ 38§ 5. Theorem-proving algorithms.............................................................................. 43References.................................................................................................................... 48

EUDML-ID : urn:eudml:doc:268529
@book{bwmeta1.element.zamlynska-ec871916-76dd-4c1e-b869-1ac1501692b0,
     author = {Ewa Or\l owska},
     title = {Theorem-proving systems},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1973},
     zbl = {0268.68041},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-ec871916-76dd-4c1e-b869-1ac1501692b0}
}
Ewa Orłowska. Theorem-proving systems. GDML_Books (1973),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-ec871916-76dd-4c1e-b869-1ac1501692b0/