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

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: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/automatentheorie> # Automatentheorie
    a schema:Intangible ;
    schema:name "Automatentheorie"@en ;
    .

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