passa ai contenuti
Mathematical logic Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Mathematical logic

Autore: Alan Mathison Turing; R O Gandy; C E M Yates
Editore: Amsterdam ; New York : Elsevier Science, 2001.
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

Alan Mathison Turing (1912-1954) made major contributions to several areas of science. He was a pioneer researcher in computer architecture and software engineering - his work in pure mathematics and  Per saperne di più…

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Aufsatzsammlung
Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Alan Mathison Turing; R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
Numero OCLC: 46472153
Descrizione: xii, 293 pages : illustrations ; 25 cm.
Contenuti: 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.
Responsabilità: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/46472153> # Mathematical logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "46472153" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1016937#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> ; # Programmeren (computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/enigma_chiffriermaschine> ; # Enigma
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/lambda_calculus> ; # Lambda-calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/berekenbaarheid> ; # Berekenbaarheid
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/geheimschrift> ; # Geheimschrift
   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/1016937#Topic/typentheorie> ; # Typentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/automatentheorie> ; # Automatentheorie
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O. Gandy
   schema:contributor <http://viaf.org/viaf/27990233> ; # C. E. M. Yates
   schema:creator <http://viaf.org/viaf/41887917> ; # Alan Mathison Turing
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
   schema:genre "Aufsatzsammlung"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/works> ; # Works.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> ; # Collected works of A.M. Turing
   schema:name "Mathematical logic"@en ;
   schema:productID "46472153" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/46472153#PublicationEvent/amsterdam_new_york_elsevier_science_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/elsevier_science> ; # Elsevier Science
   schema:url <http://www.myilibrary.com?id=104836> ;
   schema:url <http://www.sciencedirect.com/science/book/9780444504234> ;
   schema:workExample <http://worldcat.org/isbn/9780444504234> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA204145> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/46472153> ;
    .


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/1016937#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
   schema:name "Elsevier Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_mathison_1912_1954> # Alan Mathison Turing
    a schema:Person ;
   schema:birthDate "1912" ;
   schema:deathDate "1954" ;
   schema:familyName "Turing" ;
   schema:givenName "Alan Mathison" ;
   schema:name "Alan Mathison Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> # Collected works of A.M. Turing
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/46472153> ; # Mathematical logic
   schema:name "Collected works of A.M. Turing" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> # Programmeren (computers)
    a schema:Intangible ;
   schema:name "Programmeren (computers)"@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/234217153> # Robin O. Gandy
    a schema:Person ;
   schema:familyName "Gandy" ;
   schema:givenName "Robin O." ;
   schema:givenName "R. O." ;
   schema:name "Robin O. Gandy" ;
    .

<http://viaf.org/viaf/27990233> # C. E. M. Yates
    a schema:Person ;
   schema:familyName "Yates" ;
   schema:givenName "C. E. M." ;
   schema:name "C. E. M. Yates" ;
    .

<http://viaf.org/viaf/41887917> # Alan Mathison Turing
    a schema:Person ;
   schema:birthDate "1912" ;
   schema:deathDate "1954" ;
   schema:familyName "Turing" ;
   schema:givenName "Alan Mathison" ;
   schema:name "Alan Mathison Turing" ;
    .

<http://worldcat.org/isbn/9780444504234>
    a schema:ProductModel ;
   schema:isbn "0444504230" ;
   schema:isbn "9780444504234" ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.