Importo totale (1 articolo articoli):
Destinazione ordine:
9780486683706 - First-Order Logic di Smullyan, Raymond M. (38 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (38)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (19)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (12)
- Discreto o Mediocre (3)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (38)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (16)
- Non Print on Demand (36)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
First-Order Logic (Dover Books on Mathematics)
Da: New Legacy Books, Annandale, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
First-Order Logic
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
First-Order Logic
Lingua: Inglese
Editore: Dover Publications, Incorporated, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Lingua: Inglese
Editore: Dover Publications, Incorporated, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Paperback. Condizione: 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!
-
Paperback. Condizione: 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)
Da: clickgoodwillbooks, Indianapolis, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Paperback. Condizione: 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
Lingua: Inglese
Editore: Dover Publications, New York, NY, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: True Oak Books, Highland, NY, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
-
Condizione: New.
-
First-Order Logic
Lingua: Inglese
Editore: Dover Publications Inc., US, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
EUR 10,28
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
First-Order Logic (Paperback or Softback)
Lingua: Inglese
Editore: Dover Publications 1/30/1995, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. First-Order Logic. Book.
-
Condizione: As New. Unread book in perfect condition.
-
First-Order Logic (Dover Books on Mathematics)
Da: Lakeside Books, Benton Harbor, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
First-Order Logic (Dover Books on Mathematics)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 12,42
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 12,51
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Brand New.
-
First-Order Logic (Paperback)
Lingua: Inglese
Editore: Dover Publications Inc., New York, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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
Lingua: Inglese
Editore: Dover Publications Inc., US, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 13,01
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
First-Order Logic (Dover Books on Mathematics)
Lingua: Inglese
Editore: Dover Publications, New York, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: Rocky Road Books, Rocklin, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. 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)
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 9,02
Spedizione EUR 6,42
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
-
EUR 7,50
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Grendel Books, ABAA/ILAB, Springfield, MA, U.S.A.
Membro dell'associazione: ABAA ILAB IOBA SNEAB
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fine. A paperback reprint edition. Fine in illustrated wraps.
-
First-order Logic (Dover Books on Mathematics)
Lingua: Inglese
Editore: Dover Publications Inc. 1995-04-01, 1995
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 10,83
Spedizione EUR 17,75
Spedito da Regno Unito a U.S.A.Quantità: 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
First-Order Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 11,99
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
First-Order Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 14,11
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
First-Order Logic (Paperback)
Lingua: Inglese
Editore: Dover Publications Inc., New York, 2000
ISBN 10: 0486683702 ISBN 13: 9780486683706
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 21,83
Spedizione EUR 31,86
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
