pular para conteúdo
Mathematical logic Ver prévia deste item
FecharVer prévia deste item
Checando...

Mathematical logic

Autor: Alan Mathison Turing; R O Gandy; C E M Yates
Editora: Amsterdam ; New York : Elsevier Science, 2001.
Edição/Formato   Print book : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: Aufsatzsammlung
Tipo de Material: Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: Alan Mathison Turing; R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
Número OCLC: 46472153
Descrição: xii, 293 pages : illustrations ; 25 cm.
Conteúdos: 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.
Responsabilidade: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.