Artículos relacionados a Mathematical Logic: 3 (Oxford Texts in Logic)

Mathematical Logic: 3 (Oxford Texts in Logic) - Tapa blanda

 
9780199215621: Mathematical Logic: 3 (Oxford Texts in Logic)
Ver todas las copias de esta edición ISBN.
 
 
Book by Chiswell Ian Hodges Wilfrid

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas:
Mathematical Logic is crisply written and is a pleasure to read...Chiswell and Hodges' book is at the very top of the reading list. (Michael Berg, MAA Online)

The text is clearly laid out and written in an easy-to-read free-flowing style. (Times Higher Education Supplement)
Reseña del editor:
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialAcademic
  • Año de publicación2007
  • ISBN 10 0199215626
  • ISBN 13 9780199215621
  • EncuadernaciónTapa blanda
  • Número de páginas260
  • Valoración
Comprar nuevo Ver este artículo

Gastos de envío: EUR 11,13
De Italia a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9780198571001: Mathematical Logic: 3 (Oxford Texts in Logic)

Edición Destacada

ISBN 10:  ISBN 13:  9780198571001
Editorial: Academic, 2008
Tapa dura

  • 9780199548743: MATHEMATICAL LOGIC.

    Tapa blanda

Los mejores resultados en AbeBooks

Imagen de archivo

CHISWELL,HODGES
Publicado por Narcissus.me (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Tapa blanda Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Brook Bookstore On Demand
(Napoli, NA, Italia)

Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 502b51a0d7ef7a1de45c8b8a6dbe6b36

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 84,62
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,13
De Italia a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Tapa blanda Cantidad disponible: 1
Librería:
Books Unplugged
(Amherst, NY, Estados Unidos de America)

Descripción Condición: New. Buy with confidence! Book is in new, never-used condition. Nº de ref. del artículo: bk0199215626xvz189zvxnew

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 108,48
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Tapa blanda Cantidad disponible: 1
Librería:
Book Deals
(Tucson, AZ, Estados Unidos de America)

Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-0199215626-new

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 108,48
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian, Hodges, Wilfrid
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Paperback Cantidad disponible: 2
Librería:
Save With Sam
(North Miami, FL, Estados Unidos de America)

Descripción Paperback. Condición: New. Brand New!. Nº de ref. del artículo: VIB0199215626

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 108,49
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Wilfrid Hodges
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Paperback Cantidad disponible: 1
Librería:
Grand Eagle Retail
(Wilmington, DE, Estados Unidos de America)

Descripción Paperback. Condición: new. Paperback. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can andcan't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation provingthe given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughoutthe book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguisticapproaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780199215621

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 108,80
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Paperback Cantidad disponible: 1
Librería:
Wizard Books
(Long Beach, CA, Estados Unidos de America)

Descripción Paperback. Condición: new. New. Nº de ref. del artículo: Wizard0199215626

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 110,59
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,24
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Paperback Cantidad disponible: 1
Librería:
GoldenWavesOfBooks
(Fayetteville, TX, Estados Unidos de America)

Descripción Paperback. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0199215626

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 110,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,71
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian
Publicado por OXFORD UNIVERSITY PRESS (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Tapa blanda Cantidad disponible: 1
Librería:
LibraryMercantile
(Humble, TX, Estados Unidos de America)

Descripción Condición: new. Nº de ref. del artículo: newMercantile_0199215626

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 111,11
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,78
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Paperback Cantidad disponible: 1
Librería:
Grumpys Fine Books
(Tijeras, NM, Estados Unidos de America)

Descripción Paperback. Condición: new. Prompt service guaranteed. Nº de ref. del artículo: Clean0199215626

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 110,13
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,94
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Chiswell, Ian; Hodges, Wilfrid
Publicado por Oxford University Press (2007)
ISBN 10: 0199215626 ISBN 13: 9780199215621
Nuevo Tapa blanda Cantidad disponible: 1
Librería:
BennettBooksLtd
(LOS ANGELES, CA, Estados Unidos de America)

Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 1.13. Nº de ref. del artículo: Q-0199215626

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 117,58
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,61
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda