doorgaan naar inhoud
Introduction to mathematical logic Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Introduction to mathematical logic

Auteur: Elliott Mendelson
Uitgever: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987.
Serie: Wadsworth & Brooks/Cole mathematics series.
Editie/Formaat:   Print book : Engels : 3rd edAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

This classic in the field is a compact introduction to some of the basic topics of mathematical logic. This edition contains many new examples and the notation has been updated throughout.

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Aanvullende fysieke materiaalsoort: Online version:
Mendelson, Elliott.
Introduction to mathematical logic.
Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987
(OCoLC)624499217
Soort document: Boek
Alle auteurs / medewerkers: Elliott Mendelson
ISBN: 0534066240 9780534066246
OCLC-nummer: 13580200
Beschrijving: ix, 341 pages ; 24 cm.
Inhoud: Introduction. The propositional calculus. Quantification theory. Formal number theory. Axiomatic set theory. Effective computability. Bibliography. Answers. Notation. Index.
Serietitel: Wadsworth & Brooks/Cole mathematics series.
Verantwoordelijkheid: Elliott Mendelson.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/13580200> # Introduction to mathematical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "13580200" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/481876#Place/monterey_calif> ; # Monterey, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_nombre> ; # théorie nombre
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/calculabilite> ; # calculabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/quantification> ; # quantification
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/calcul_propositionnel> ; # calcul propositionnel
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_quantique> ; # théorie quantique
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_ensemble> ; # théorie ensemble
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/axiomatique> ; # axiomatique
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:bookEdition "3rd ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/66512007> ; # Elliott Mendelson
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/481876> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/the_wadsworth_&_brooks_cole_mathematics_series> ; # The Wadsworth & Brooks/Cole mathematics series
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/wadsworth_&_brooks_cole_mathematics_series> ; # Wadsworth & Brooks/Cole mathematics series.
    schema:isSimilarTo <http://www.worldcat.org/oclc/624499217> ;
    schema:name "Introduction to mathematical logic"@en ;
    schema:productID "13580200" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/13580200#PublicationEvent/monterey_calif_wadsworth_&_brooks_cole_advanced_books_&_software_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/481876#Agent/wadsworth_&_brooks_cole_advanced_books_&_software> ; # Wadsworth & Brooks/Cole Advanced Books & Software
    schema:workExample <http://worldcat.org/isbn/9780534066246> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/13580200> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/481876#Agent/wadsworth_&_brooks_cole_advanced_books_&_software> # Wadsworth & Brooks/Cole Advanced Books & Software
    a bgn:Agent ;
    schema:name "Wadsworth & Brooks/Cole Advanced Books & Software" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Place/monterey_calif> # Monterey, Calif.
    a schema:Place ;
    schema:name "Monterey, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Series/the_wadsworth_&_brooks_cole_mathematics_series> # The Wadsworth & Brooks/Cole mathematics series
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13580200> ; # Introduction to mathematical logic
    schema:name "The Wadsworth & Brooks/Cole mathematics series" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Series/wadsworth_&_brooks_cole_mathematics_series> # Wadsworth & Brooks/Cole mathematics series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13580200> ; # Introduction to mathematical logic
    schema:name "Wadsworth & Brooks/Cole mathematics series." ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
    schema:name "calcul propositionnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_ensemble> # théorie ensemble
    a schema:Intangible ;
    schema:name "théorie ensemble"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_nombre> # théorie nombre
    a schema:Intangible ;
    schema:name "théorie nombre"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_quantique> # théorie quantique
    a schema:Intangible ;
    schema:name "théorie quantique"@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/66512007> # Elliott Mendelson
    a schema:Person ;
    schema:familyName "Mendelson" ;
    schema:givenName "Elliott" ;
    schema:name "Elliott Mendelson" ;
    .

<http://worldcat.org/isbn/9780534066246>
    a schema:ProductModel ;
    schema:isbn "0534066240" ;
    schema:isbn "9780534066246" ;
    .

<http://www.worldcat.org/oclc/624499217>
    a schema:CreativeWork ;
    rdfs:label "Introduction to mathematical logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/13580200> ; # Introduction to mathematical logic
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.