名古屋大学附属図書館




1

Dictionary of symbols of mathematical logic

Edited by Robert Feys and Frederic B. Fitch. -- North-Holland Pub. Co., c1969. -- (Studies in logic and the foundations of mathematics).