Many-values logics /

Saved in:
Bibliographic Details
Corporate Authors: Elsevier Science & Technology
Group Author: Rosser, J. Barkley John Barkley, 1907-1989; Turquette, Atwell R. Atwell Rufus, 1914
Published: Elsevier Science,
Publisher Address: Dordrecht :
Publication Dates: 1951.
Literature type: eBook
Language: English
Series: Studies in Logic and the Foundations of Mathematics ; v. 7
Subjects:
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/7
Carrier Form: 1 online resource (v, 124 pages).
Bibliography: Includes bibliographical references and index.
ISBN: 9780444533722
0444533729
Index Number: QA9
CLC: O141-53
Contents: Truth tables -- Axiomatization of many-valued statement calculi -- Foundations of the theory of quantification for many-valued logics -- Axiomatization of many-valued predicate calculi -- Quantification for particular predicate calculi -- Some unsolved problems.