First-order Logic (Dover Books on Mathematics)

4 valoración promedio
( 56 valoraciones por GoodReads )
 
9780486683706: First-order Logic (Dover Books on Mathematics)
From the Publisher:

Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.

About the Author:

Born in New York City in 1919, Raymond Smullyan is a philosopher and magician as well as a famous mathematician and logician. His career as a stage magician financed his undergraduate studies at the University of Chicago as well his doctoral work at Princeton. The author of several imaginative books on recreational mathematics, Smullyan is also a classical pianist. Raymond Smullyan: The Merry Prankster Raymond Smullyan (1919– ), mathematician, logician, magician, creator of extraordinary puzzles, philosopher, pianist, and man of many parts. The first Dover book by Raymond Smullyan was First-Order Logic (1995). Recent years have brought a number of his magical books of logic and math puzzles: The Lady or the Tiger (2009); Satan, Cantor and Infinity (2009); an original, never-before-published collection, King Arthur in Search of His Dog and Other Curious Puzzles (2010); and Set Theory and the Continuum Problem (with Melvin Fitting, also reprinted by Dover in 2010). More will be coming in subsequent years. In the Author's Own Words: "Recently, someone asked me if I believed in astrology. He seemed somewhat puzzled when I explained that the reason I don't is that I'm a Gemini." "Some people are always critical of vague statements. I tend rather to be critical of precise statements: they are the only ones which can correctly be labeled 'wrong.'" — Raymond Smullyan Critical Acclaim for The Lady or the Tiger: "Another scintillating collection of brilliant problems and paradoxes by the most entertaining logician and set theorist who ever lived." — Martin Gardner

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

Los mejores resultados en AbeBooks

1.

Smullyan, Raymond M.
Editorial: Dover Pubns (1995)
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Commerce, GA, Estados Unidos de America)
Valoración
[?]

Descripción Dover Pubns, 1995. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería V0-9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 5,30
Convertir moneda

Añadir al carrito

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

2.

Smullyan, Raymond M.
Editorial: Dover Publishers
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publishers. Estado de conservación: New. Brand New. Nº de ref. de la librería 0486683702

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 5,79
Convertir moneda

Añadir al carrito

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

3.

Smullyan, Raymond M.
Editorial: Dover Publications Inc. (1995)
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
PBShop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications Inc., 1995. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 5,65
Convertir moneda

Añadir al carrito

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

4.

Smullyan, Raymond M.
Editorial: Dover Publications Inc., United States (1995)
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 1995. Paperback. Estado de conservación: New. 211 x 135 mm. Language: English . Brand New Book ***** Print on Demand *****. This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in analytic or cut-free methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here. After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness. Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties. Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning. Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field. Nº de ref. de la librería APC9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 9,67
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Smullyan, Raymond M.
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Paperback Cantidad: > 20
Impresión bajo demanda
Librería
BargainBookStores
(Grand Rapids, MI, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. This item is printed on demand. Item doesn't include CD/DVD. Nº de ref. de la librería 1172104

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 6,00
Convertir moneda

Añadir al carrito

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

6.

Smullyan, Raymond M.
Editorial: Dover Publications Inc., United States (1995)
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 1995. Paperback. Estado de conservación: New. 211 x 135 mm. Language: English . Brand New Book ***** Print on Demand *****.This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in analytic or cut-free methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here. After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness. Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties. Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning. Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field. Nº de ref. de la librería APC9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 10,14
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Smullyan, Raymond M.
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatched within 2 working days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-ING-00172630

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 7,77
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Smullyan, Raymond M.
Editorial: Dover Publications
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Paperback Cantidad: 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. Paperback. Estado de conservación: New. Paperback. 158 pages. Dimensions: 8.3in. x 5.3in. x 0.4in.This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in analytic or cut-free methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here. After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness. Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties. Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning. Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 8,54
Convertir moneda

Añadir al carrito

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

9.

Smullyan, Raymond M.
Editorial: Dover Publications (1995)
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Paperback Cantidad: 10
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 1995. Paperback. Estado de conservación: New. Nº de ref. de la librería INGM9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 10,54
Convertir moneda

Añadir al carrito

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

10.

Smullyan, Raymond M.
Editorial: Dover Publications Inc. (1995)
ISBN 10: 0486683702 ISBN 13: 9780486683706
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., 1995. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9780486683706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 6,88
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,22
De Reino Unido 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