Library Of American University Of Madaba

Normal View MARC View ISBD View

Bolc, Leonard, 1934-

Many-valued logics / Leonard Bolc, Piotr Borowik. - New York : Springer-Verlag, 1992. - 2 v. : ill. ; 24 cm.

Includes bibliographical references and indexes.

v. 1. Theoretical foundations -- 2. Automated reasoning and practical applications.

ISBN: 9783540645078 3540645071 (v. 2 : Berlin : alk. paper) 3540559264 (v. 1 : Berlin : alk. paper)

Subjects--Topical Terms:
Many-valued logic.

Dewey Class. No.: 511.3 / B687