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:   Boek : 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


<http://www.worldcat.org/oclc/13580200>
library:oclcnum"13580200"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/13580200>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"3rd ed."
schema:copyrightYear"1987"
schema:creator
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/481876>
schema:inLanguage"en"
schema:name"Introduction to mathematical logic"@en
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

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