名古屋大学附属図書館




1

Introduction to semantics and formalization of logic

by Rudolf Carnap. -- Harvard University Press, 1959, c1943. -- (Studies in semantics ; v. 1-2).