doorgaan naar inhoud
Mathematical logic Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Mathematical logic

Auteur: Alan Mathison Turing; R O Gandy; C E M Yates
Uitgever: Amsterdam ; New York : Elsevier Science, 2001.
Editie/Formaat:   book_printbook : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

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

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

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

Details

Genre: Internetbron
Soort document: Boek, Internetbron
Alle auteurs / medewerkers: Alan Mathison Turing; R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
OCLC-nummer: 46472153
Beschrijving: xii, 293 pages : illustrations ; 25 cm.
Inhoud: Ch. 1. The Nature of Mathematical Logic --
Ch. 2. First-Order Theories --
Ch. 3. Theorems in First-Order Theories --
Ch. 4. The Characterization Problem --
Ch. 5. The Theory of Models --
Ch. 6. Incompleteness and Undecidability --
Ch. 7. Recursion Theory --
Ch. 8. The Natural Numbers --
Ch. 9. Set Theory --
App. The Word Problem.
Verantwoordelijkheid: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

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/46472153>
library:oclcnum"46472153"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:creator
schema:datePublished"2001"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1016937>
schema:inLanguage"en"
schema:isPartOf
schema:name"Mathematical logic"@en
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA204145>
wdrs:describedby

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

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