Algorithmic logic
By: G. Mirkowska and A. Salwicki.
Contributors: Salwicki, Andrzej.
Publisher: D. Reidel Pub. Co.; PWN-Polish Scientific Publishers; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
Published: 1987
Place of publication: Dordrecht; Boston; Warszawa; Norwell, MA, U.S.A
Language: eng
Number of pages: 372
Subjects: Formal languages.; Algorithms.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. [356]-368.
Includes index.