名古屋大学附属図書館




1

Many-valued logics

[by] J. Barkley Rosser [and] Atwell R. Turquette. -- North-Holland Pub. Co., 1952. -- (Studies in logic and the foundations of mathematics).