A course in mathematical logic
โ
John Bell, Moshe Machover
๐
Library
๐
1977
๐
North-Holland
๐
English
โ 5 MB
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.