Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Description

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Similar Books

ISBN 10: 0521168481
ISBN 13: 9780521168489

22 Sep 2011
George Tourlakis

ISBN 10: 1848900503
ISBN 13: 9781848900509

02 Nov 2011
Kenneth Kunen

ISBN 10: 0393332845
ISBN 13: 9780393332841

09 Nov 2007
Jose Ortega y Gasset

ISBN 10: 0198751427
ISBN 13: 9780198751427

09 Oct 1997
David Bostock

ISBN 10: 1108439535
ISBN 13: 9781108439534

21 Feb 2020
Daniel J. Velleman

ISBN 10: 0465026567
ISBN 13: 9780465026562

21 Sep 2011
Douglas R. Hofstadter

ISBN 10: 1783352183
ISBN 13: 9781783352180

05 Nov 2020
Alex Bellos

ISBN 10: 0007516908
ISBN 13: 9780007516902

18 Jul 2013
The Times Mind Games

ISBN 10: 0521424267
ISBN 13: 9780521424264

16 Jun 2009
Sanjeev Arora

ISBN 10: 1783352191
ISBN 13: 9781783352197

07 Oct 2021
Alex Bellos

ISBN 10: 0989472124
ISBN 13: 9780989472128

01 Oct 2018
Richard H Hammack

ISBN 10: 0718185544
ISBN 13: 9780718185541

01 Mar 2019
GCHQ