skip to content
Sets, logic, and categories Preview this item
ClosePreview this item
Checking...

Sets, logic, and categories

Author: Peter J Cameron
Publisher: London ; New York : Springer, ©1999.
Series: Springer undergraduate mathematics series.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together provide the basis for computational science. This self-study guide to all three theories contains many examples.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Peter J Cameron
ISBN: 1852330562 9781852330569
OCLC Number: 39455919
Description: x, 180 pages : illustrations ; 24 cm.
Contents: Naïve set theory --
Ordinal numbers --
Logic --
First-order logic --
Model theory --
Axiomatic set theory --
Categories --
Where to from here?
Series Title: Springer undergraduate mathematics series.
Responsibility: Peter J. Cameron.
More information:

Abstract:

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, Goedel's Theorem, and the Skolem  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:BULLETIN OF MATHEMATICS BOOKS"...a well written introduction to logic, with a good dose of set theory (introduction to ordinals and cardinals) and a small dose of categories at the Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/39455919> # Sets, logic, and categories
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "39455919" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/41498180#Topic/mengenlehre> ; # Mengenlehre
   schema:about <http://dewey.info/class/511.322/e21/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/41498180#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/41498180#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
   schema:about <http://experiment.worldcat.org/entity/work/data/41498180#Topic/categories_mathematiques> ; # Catégories (mathématiques)
   schema:about <http://experiment.worldcat.org/entity/work/data/41498180#Topic/ensembles_theorie_des> ; # Ensembles, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/41498180#Topic/kategorientheorie> ; # Kategorientheorie
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1999" ;
   schema:creator <http://viaf.org/viaf/108923752> ; # Peter Jephson Cameron
   schema:datePublished "1999" ;
   schema:description "Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together provide the basis for computational science. This self-study guide to all three theories contains many examples."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/41498180> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/41498180#Series/springer_undergraduate_mathematics_series> ; # Springer undergraduate mathematics series.
   schema:name "Sets, logic, and categories"@en ;
   schema:productID "39455919" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39455919#PublicationEvent/london_new_york_springer_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/41498180#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0816/98029309-t.html> ;
   schema:url <http://www.gbv.de/dms/ilmenau/toc/246952431.PDF> ;
   schema:workExample <http://worldcat.org/isbn/9781852330569> ;
   umbel:isLike <http://d-nb.info/953943348> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9918096> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39455919> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/41498180#Series/springer_undergraduate_mathematics_series> # Springer undergraduate mathematics series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/39455919> ; # Sets, logic, and categories
   schema:name "Springer undergraduate mathematics series." ;
   schema:name "Springer undergraduate mathematics series" ;
    .

<http://experiment.worldcat.org/entity/work/data/41498180#Topic/categories_mathematiques> # Catégories (mathématiques)
    a schema:Intangible ;
   schema:name "Catégories (mathématiques)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/41498180#Topic/ensembles_theorie_des> # Ensembles, Théorie des
    a schema:Intangible ;
   schema:name "Ensembles, Théorie des"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/41498180#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/41498180#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
   schema:name "Set theory"@en ;
    .

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
   schema:name "Categories (Mathematics)"@en ;
    .

<http://viaf.org/viaf/108923752> # Peter Jephson Cameron
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Cameron" ;
   schema:givenName "Peter Jephson" ;
   schema:givenName "Peter J." ;
   schema:name "Peter Jephson Cameron" ;
    .

<http://worldcat.org/isbn/9781852330569>
    a schema:ProductModel ;
   schema:isbn "1852330562" ;
   schema:isbn "9781852330569" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.