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 a...

Full description

Bibliographic Details
Main Author: Cameron, Peter J.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint : Springer, 1998.
Series:Springer undergraduate mathematics series.
Subjects:
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ma 4500
001 in00003545285
006 m o d
007 cr nn|||||||||
008 121227s1998 enk o 000 0 eng d
005 20260422203609.1
020 |a 9781447105893 (electronic bk.) 
020 |a 1447105893 (electronic bk.) 
035 |a (OCoLC)840277137 
040 |a I9W  |b eng  |e pn  |c I9W  |d OCLCO  |d OCLCQ  |d UV0  |d OCLCO  |d GW5XE  |d OCLCQ  |d OCLCF  |d UtOrBLW 
049 |a TXAM 
050 4 |a QA8.9-10.3 
082 0 4 |a 511.3  |2 23 
100 1 |a Cameron, Peter J. 
245 1 0 |a Sets, Logic and Categories /  |c by Peter J. Cameron. 
264 1 |a London :  |b Springer London :  |b Imprint :  |b Springer,  |c 1998. 
300 |a 1 online resource (x, 182 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Springer Undergraduate Mathematics Series, 1615-2085 
505 0 |a Naive Set Theory -- Ordinal Numbers -- Logic -- First-order Logic -- Model theory -- Axiomatic set theory categories -- References. 
520 |a 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. 
500 |a Electronic resource. 
650 0 |a Mathematics. 
650 0 |a Algebra. 
650 0 |a K-theory. 
650 0 |a Logic, Symbolic and mathematical. 
650 7 |a Algebra.  |2 fast  |0 (OCoLC)fst00804885 
650 7 |a K-theory.  |2 fast  |0 (OCoLC)fst00985541 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068 
650 7 |a Mathematics.  |2 fast  |0 (OCoLC)fst01012163 
655 7 |a Electronic books.  |2 local 
710 2 |a SpringerLink (Online service) 
830 0 |a Springer undergraduate mathematics series. 
856 4 0 |u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0589-3  |z Connect to the full text of this electronic book  |t 0 
994 |a 92  |b TXA 
999 |a MARS 
999 f f |s 0cfe8142-df16-3081-a5e3-fc6594423df2  |i b820a840-4b05-3cdc-af40-baf644341ad9  |t 0 
952 f f |a Texas A&M University  |b College Station  |c Electronic Resources  |s www_evans  |d Available Online  |t 0  |e QA8.9-10.3  |h Library of Congress classification 
998 f f |a QA8.9-10.3  |t 0  |l Available Online