skip to content
A friendly introduction to mathematical logic Preview this item
ClosePreview this item
Checking...

A friendly introduction to mathematical logic

Author: Christopher C Leary
Publisher: Upper Saddle River, NJ : Prentice Hall, 2000.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Suitable for a one-semester, junior/senior-level course in Mathematical Logic, this book discusses concepts that are used by mathematicians in various branches of the subject. It features a  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Christopher C Leary
ISBN: 0130107050 9780130107053
OCLC Number: 42667909
Description: xiv, 218 pages ; 23 cm
Contents: 1. Structures and languages --
2. Deductions --
3. Completeness and compactness --
4. Incompleteness : groundwork --
5. The incompleteness theorems.
Responsibility: Christopher C. Leary.

Reviews

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/42667909> # A friendly introduction to mathematical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "42667909" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/20536107#Place/upper_saddle_river_nj> ; # Upper Saddle River, NJ
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/20536107#Topic/logica> ; # Logica
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/20536107#Topic/logique_informatique> ; # Logique informatique
    schema:about <http://dewey.info/class/005.1015113/e21/> ;
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/20536107#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/117147231> ; # Christopher C. Leary
    schema:datePublished "2000" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/20536107> ;
    schema:inLanguage "en" ;
    schema:name "A friendly introduction to mathematical logic"@en ;
    schema:productID "42667909" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/42667909#PublicationEvent/upper_saddle_river_nj_prentice_hall_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/20536107#Agent/prentice_hall> ; # Prentice Hall
    schema:workExample <http://worldcat.org/isbn/9780130107053> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA007534> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/42667909> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/20536107#Agent/prentice_hall> # Prentice Hall
    a bgn:Agent ;
    schema:name "Prentice Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/20536107#Place/upper_saddle_river_nj> # Upper Saddle River, NJ
    a schema:Place ;
    schema:name "Upper Saddle River, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/20536107#Topic/logique_informatique> # Logique informatique
    a schema:Intangible ;
    schema:name "Logique informatique"@fr ;
    .

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

<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/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://viaf.org/viaf/117147231> # Christopher C. Leary
    a schema:Person ;
    schema:birthDate "1957" ;
    schema:familyName "Leary" ;
    schema:givenName "Christopher C." ;
    schema:name "Christopher C. Leary" ;
    .

<http://worldcat.org/isbn/9780130107053>
    a schema:ProductModel ;
    schema:isbn "0130107050" ;
    schema:isbn "9780130107053" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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