名古屋大学附属図書館




1

Logic : the theory of formal inference

Alice Ambrose, Morris Lazerowitz. -- Holt, Reinhart and Winston.