omitir hasta el contenido
Mathematical logic Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Mathematical logic

Autor: Alan Mathison Turing; R O Gandy; C E M Yates
Editorial: Amsterdam ; New York : Elsevier Science, 2001.
Edición/Formato:   Libro : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Tipo de material: Recurso en Internet
Tipo de documento: Libro/Texto, Recurso en Internet
Todos autores / colaboradores: Alan Mathison Turing; R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
Número OCLC: 46472153
Descripción: xii, 293 pages : illustrations ; 25 cm.
Contenido: 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.
Responsabilidad: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


<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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.