A Course In Mathematical Logic

by J.L. Bell, Moshe Machover

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.

Genres: Mathematics

620 pages, Hardcover

First published January 1, 1977

About the author

John Bell (b. March 25, 1945) is professor of Logic and the Philosophy of Mathematics at the University of Western Ontario in Canada. In 2006-07, he was named the first Graham and Gail Wright Faculty of Arts Distinguished Scholar at the University of Western Ontario. In 2009, he was elected a Fellow of the Royal Society of Canada. He was admitted on a scholarship to Oxford University at the age of 15, and graduated with a D.Phil. in Mathematics at the age of 21. His dissertation supervisor was John Crossley.[1]

He was appointed assistant lecturer in the Mathematics Department at the London School of Economics in 1968, and was appointed reader in Mathematical Logic in 1980. He taught at LSE until 1989. During this time, he served as visiting fellow at the Polish Academy of Sciences (1975) and National University of Singapore (1980, 1982). In 1989, he took a position as professor in the Philosophy Department at UWO. He is also an adjunct professor in the Mathematics Department at UWO.[1]

John Bell's students include Graham Priest (Ph.D. Mathematics LSE, 1972), Michael Hallet (Ph.D. Philosophy LSE, 1979), Elaine Landry (Ph.D. Philosophy UWO, 1997) and David DeVidi (Ph.D. Philosophy UWO, 1994).

http://en.wikipedia.org/wiki/John_Lan...