skip to content
Mathematical logic : a course with exercises Preview this item
ClosePreview this item
Checking...

Mathematical logic : a course with exercises

Author: René Cori; D Lascar
Publisher: Oxford ; New York : Oxford University Press, 2000-2001.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students will study. Assuming no prior knowledge of the  Read more...

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: René Cori; D Lascar
ISBN: 0198500491 9780198500490 0198500483 9780198500483 0198500513 9780198500513 0198500505 9780198500506
OCLC Number: 44467497
Description: 2 volumes ; 24 cm
Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.
Other Titles: Logique mathématique.
Responsibility: René Cori and Daniel Lascar ; translated by Donald H. Pelletier.
More information:

Reviews

Editorial reviews

Publisher Synopsis

"This text is based on a course to undergraduates and gives a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a 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/44467497> # Mathematical logic : a course with exercises
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/44467497#CreativeWork/unidentifiedOriginalWork> ; # Logique mathématique.
   library:oclcnum "44467497" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4161180365#Place/oxford> ; # Oxford
   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/4161180365#Topic/wiskundige_logica> ; # Wiskundige logica
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/4161180365#Topic/logica_matematica> ; # Lógica matemática
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/85473936> ; # Daniel Lascar
   schema:creator <http://experiment.worldcat.org/entity/work/data/4161180365#Person/cori_rene> ; # René Cori
   schema:datePublished "2000/9999" ;
   schema:datePublished "2000/2001" ;
   schema:description "pt. 1. Propositional calculus, Boolean algebras, predicate calculus."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4161180365> ; # Logique mathématique.
   schema:inLanguage "en" ;
   schema:name "Mathematical logic : a course with exercises"@en ;
   schema:productID "44467497" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/44467497#PublicationEvent/oxford_new_york_oxford_university_press_2000_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4161180365#Agent/oxford_university_press> ; # Oxford University Press
   schema:url <http://www.myilibrary.com?id=81966> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0610/00056525-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780198500483> ;
   schema:workExample <http://worldcat.org/isbn/9780198500513> ;
   schema:workExample <http://worldcat.org/isbn/9780198500506> ;
   schema:workExample <http://worldcat.org/isbn/9780198500490> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA065273> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/44467497> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/4161180365#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/4161180365#Person/cori_rene> # René Cori
    a schema:Person ;
   schema:familyName "Cori" ;
   schema:givenName "René" ;
   schema:name "René Cori" ;
    .

<http://experiment.worldcat.org/entity/work/data/4161180365#Topic/logica_matematica> # Lógica matemática
    a schema:Intangible ;
   schema:name "Lógica matemática"@en ;
    .

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

<http://viaf.org/viaf/85473936> # Daniel Lascar
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:familyName "Lascar" ;
   schema:givenName "Daniel" ;
   schema:givenName "D." ;
   schema:name "Daniel Lascar" ;
    .

<http://worldcat.org/entity/work/id/4161180365> # Logique mathématique.
   schema:name "Logique mathématique." ;
    .

<http://worldcat.org/isbn/9780198500483>
    a schema:ProductModel ;
   schema:isbn "0198500483" ;
   schema:isbn "9780198500483" ;
    .

<http://worldcat.org/isbn/9780198500490>
    a schema:ProductModel ;
   schema:isbn "0198500491" ;
   schema:isbn "9780198500490" ;
    .

<http://worldcat.org/isbn/9780198500506>
    a schema:ProductModel ;
   schema:isbn "0198500505" ;
   schema:isbn "9780198500506" ;
    .

<http://worldcat.org/isbn/9780198500513>
    a schema:ProductModel ;
   schema:isbn "0198500513" ;
   schema:isbn "9780198500513" ;
    .

<http://www.worldcat.org/title/-/oclc/44467497#CreativeWork/unidentifiedOriginalWork> # Logique mathématique.
    a schema:CreativeWork ;
   schema:inLanguage "fr" ;
   schema:name "Logique mathématique." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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