Notes on Logic and Set Theory

Notes on Logic and Set Theory
Author :
Publisher : Cambridge University Press
Total Pages : 128
Release :
ISBN-10 : 0521335027
ISBN-13 : 9780521335027
Rating : 4/5 (027 Downloads)

Book Synopsis Notes on Logic and Set Theory by : P. T. Johnstone

Download or read book Notes on Logic and Set Theory written by P. T. Johnstone and published by Cambridge University Press. This book was released on 1987-10-08 with total page 128 pages. Available in PDF, EPUB and Kindle. Book excerpt: A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all introductory mathematics undergraduates, Notes on Logic and Set Theory covers the basic concepts of logic: first-order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. Successive chapters examine the recursive functions, the axiom of choice, ordinal and cardinal arithmetic, and the incompleteness theorems. Dr. Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics.


Notes on Logic and Set Theory Related Books

Notes on Logic and Set Theory
Language: en
Pages: 128
Authors: P. T. Johnstone
Categories: Mathematics
Type: BOOK - Published: 1987-10-08 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all
Wittgenstein's Notes on Logic
Language: en
Pages: 325
Authors: Michael Potter
Categories: Philosophy
Type: BOOK - Published: 2009-01-22 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

Michael Potter shows, for the first time, that Wittgenstein's early Notes on Logic are a work of philosophical and historical importance. Using a challenging bl
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
Language: en
Pages: 228
Authors: Andrea Iacona
Categories: Philosophy
Type: BOOK - Published: 2021-05-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintai
Logic Matters
Language: en
Pages: 360
Authors: Peter Thomas Geach
Categories: Philosophy
Type: BOOK - Published: 1972 - Publisher: Univ of California Press

DOWNLOAD EBOOK

A Course in Model Theory
Language: en
Pages: 259
Authors: Katrin Tent
Categories: Mathematics
Type: BOOK - Published: 2012-03-08 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Concise introduction to current topics in model theory, including simple and stable theories.