An edition of Sets, Logic and Categories (1998)

Sets, Logic and Categories

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by MARC Bot
July 7, 2019 | History
An edition of Sets, Logic and Categories (1998)

Sets, Logic and Categories

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material.

Publish Date
Language
English
Pages
182

Buy this book

Edition Availability
Cover of: Sets, Logic and Categories
Sets, Logic and Categories
1998, Springer London, Imprint, Springer
electronic resource / in English

Add another edition?

Book Details


Table of Contents

Naive Set Theory
Ordinal Numbers
Logic
First-order Logic
Model theory
Axiomatic set theory categories
References.

Edition Notes

Published in
London
Series
Springer Undergraduate Mathematics Series, 1615-2085, Springer undergraduate mathematics series

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA8.9-10.3

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (X, 182 pages).
Number of pages
182

Edition Identifiers

Open Library
OL27087298M
ISBN 10
1447105893
ISBN 13
9781447105893
OCLC/WorldCat
840277137

Work Identifiers

Work ID
OL19901794W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON