名古屋大学附属図書館




1

Elements of mathematical logic : (Model theory)

G. Kreisel and J. L. Krivine. -- North Holland Pub. Co., 1967. -- (Studies in logic and the foundations of mathematics).