Importe total (1 artículo artículos):
Destino del pedido:
9780486683706 - First-order Logic (Dover Books on MaTHEMA 1.4tics) de Smullyan, Raymond M. (38 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (38)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (19)
- Como nuevo, Excelente o Muy bueno (4)
- Bueno o Aceptable (12)
- Regular o Pobre (3)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (38)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (16)
- No impresión bajo demanda (36)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
First-Order Logic (Dover Books on Mathematics)
Librería: New Legacy Books, Annandale, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 2,20
Envío por EUR 2,14
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Fast shipping and order satisfaction guaranteed. A portion of your purchase benefits Non-Profit Organizations, First Aid and Fire Stations!
-
First-order Logic (Dover Books
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 4,68
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc.
-
First-Order Logic
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
First-Order Logic
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
First-Order Logic
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
First-Order Logic
Idioma: Inglés
Publicado por Dover Publications, Incorporated, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 6,10
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
First-Order Logic
Idioma: Inglés
Publicado por Dover Publications, Incorporated, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 6,10
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
First-Order Logic (Dover Books on Mathematics)
Librería: HPB-Diamond, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 3,17
Envío por EUR 3,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
First-Order Logic (Dover Books on Mathematics)
Librería: HPB-Ruby, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 3,89
Envío por EUR 3,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
First-Order Logic (Dover Books on Mathematics)
Librería: clickgoodwillbooks, Indianapolis, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 4,14
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: acceptable. Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media.
-
First-Order Logic (Dover Books on Mathematics)
Librería: HPB Inc., Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 4,86
Envío por EUR 3,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
First-Order Logic
Idioma: Inglés
Publicado por Dover Publications, New York, NY, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
EUR 9,76
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good+. Reissue Edition. Dover Books On Mathematics; 5.42 X 0.39 X 8.48 inches; 158 pages; minor markings in the margins on a few pages. Previous owner's name on a prelim page. Minor, faint smudges on the top exterior edge of textblock. Minor shelf wear. Minor creasing on front cover. Good condition otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be packaged with care and ship on the same or next business day. Buy with confidence.
-
First-Order Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 7,93
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
First-Order Logic
Idioma: Inglés
Publicado por Dover Publications Inc., US, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 10,28
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
First-Order Logic (Paperback or Softback)
Idioma: Inglés
Publicado por Dover Publications 1/30/1995, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 10,38
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. First-Order Logic. Book.
-
First-Order Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,34
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
First-Order Logic (Dover Books on Mathematics)
Librería: Lakeside Books, Benton Harbor, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 7,28
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books!
-
First-Order Logic (Dover Books on Mathematics)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,71
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
First-Order Logic (Dover Books on Mathematics)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 12,42
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
First-Order Logic Format: Paperback
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,51
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New.
-
First-Order Logic (Paperback)
Idioma: Inglés
Publicado por Dover Publications Inc., New York, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,80
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This 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 is on the tableau point of view. Includes 144 illustrations. 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 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 is on the tableau point of view. Includes 144 illustrations. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
First-Order Logic
Idioma: Inglés
Publicado por Dover Publications Inc., US, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 13,01
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
First-Order Logic (Dover Books on Mathematics)
Idioma: Inglés
Publicado por Dover Publications, New York, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Rocky Road Books, Rocklin, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 9,76
Envío por EUR 3,85
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condition: Fine. No marks, tears, or creases. Contents include: Part I. Propositional Logic from the Viewpoint of Analytic Tableau * Chapter I. Preliminaries * Chapter II. Analytic Tableaux * Chapter III. Compactness Part II. First-Order Logic * Chapter IV. First-Order Logic. Preliminaries * Chapter V. First-Order Analytic Tableaux * Chapter VI. A Unifying Principle * Chapter VII. The Fundamental Theorem of Quantification Theory * Chapter VIII. Axiom Systems for Quantification Theory * Chapter IX. Magic Sets * Chapter X. Analytic versus Synthetic Consistency Properties Part III. Further Topics in First-Order Logic * Chapter XI. Gentzen Systems * Chapter XII. Elimination Theorems * Chapter XIII. Prenex Tableaux * Chapter XIV. More on Gentzen Systems * Chapter XV. Craig's Interpolation Lemma and Beth's Definability Theorem * Chapter XVI. Symmetric Completeness Theorems * Chapter XVII. Systems of Linear Reasoning.
-
First-order Logic (Dover Books on MaTHEMA 1.4tics)
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 9,02
Envío por EUR 6,42
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
First-order Logic (Dover Books on Mathematics)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 7,50
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
First-Order Logic.
Idioma: Inglés
Publicado por Dover Publications,, NY:, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Grendel Books, ABAA/ILAB, Springfield, MA, Estados Unidos de America
Miembro de asociación: ABAA ILAB IOBA SNEAB
Calificación del vendedor: 5 de 5 estrellas
EUR 17,74
Envío por EUR 6,03
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fine. A paperback reprint edition. Fine in illustrated wraps.
-
First-Order Logic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 11,94
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
First-order Logic (Dover Books on Mathematics)
Idioma: Inglés
Publicado por Dover Publications Inc. 1995-04-01, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 10,83
Envío por EUR 17,75
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
First-Order Logic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 14,11
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
First-Order Logic (Paperback)
Idioma: Inglés
Publicado por Dover Publications Inc., New York, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 21,83
Envío por EUR 31,86
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This 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 is on the tableau point of view. Includes 144 illustrations. 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 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 is on the tableau point of view. Includes 144 illustrations. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
