Related Books
Language: en
Pages: 560
Pages: 560
Type: BOOK - Published: 2012-07-01 - Publisher:
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2009 - Publisher:
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the ne
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 1980-01-01 - Publisher: North Holland
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the ne
Language: en
Pages: 224
Pages: 224
Type: BOOK - Published: 2018-10-03 - Publisher: American Mathematical Soc.
This book takes the reader on a journey through Ramsey theory, from graph theory and combinatorics to set theory to logic and metamathematics. Written in an inf
Language: en
Pages: 436
Pages: 436
Type: BOOK - Published: 2013-04-22 - Publisher: Courier Corporation
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others