名古屋大学附属図書館




1

Introduction to mathematical logic

Elliott Mendelson. -- Van Nostrand, c1964. -- (The university series in undergraduate mathematics).