D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes index
TOPICAL NAME USED AS SUBJECT
Entry Element
Formal languages►Algorithms►Logic, Symbolic and mathematical