LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	Sets, Logic and Categories ([EBook]) / by Peter J. Cameron.
Author	Cameron, Peter Jephson , 1947-
Other name(s)	SpringerLink (Online service)
Publication	London : Springer, London , 1998.
Physical Details	X, 182 p. : online resource.
Series	Springer undergraduate mathematics series 1615-2085
ISBN	9781447105893
Summary Note	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.:
Contents note	1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory -- 6. Axiomatic set theory -- 7. Categories -- 8. Where to from here? -- Solutions to selected exercises -- References.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/978-1-4471-0589-3
Links to Related Works	Subject References: Category Theory, Homological Algebra . Category theory (Mathematics) . Homological algebra . K-Theory . Mathematical logic . Mathematical Logic and Foundations . Mathematics . Authors: Cameron, Peter Jephson 1947- . Cameron, Peter Jephson, 1947- . Corporate Authors: SpringerLink (Online service) . Series: Springer undergraduate mathematics series . Classification: 511.3 .

Catalogue Display

Sets, Logic and Categories

Reviews