Order Total (1 Item Items):
Shipping Destination:
First Order Logic Automated Theorem by Fitting Melvin (20 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (20)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (13)
- As New, Fine or Near Fine (2)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (16)
Language (4)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.65.
-
hardcover. Condition: Very Good. Binding tight.Cover clean.Minor wear to page edges and corners. Hardcover.No writing, highlighting, or marks in text.
-
Condition: New. SUPER FAST SHIPPING.
-
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 107.19
US$ 15.76 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
First-Order Logic and Automated Theorem Proving
Published by Springer Verlag, New York, 1990
ISBN 10: 0387972331 ISBN 13: 9780387972336
Language: English
First Edition
Hardcover. Condition: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy.
-
PF. Condition: New.
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Condition: New. pp. 348.
-
Condition: New.
-
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Published by Springer 20.04.1990., 1990
ISBN 10: 0387972331 ISBN 13: 9780387972336
Language: English
Condition: Sehr gut. 242 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe.
-
Taschenbuch. Condition: Neu. First-Order Logic and Automated Theorem Proving | Melvin Fitting | Taschenbuch | xviii | Englisch | 2013 | Humana | EAN 9781461275152 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
First-Order Logic and Automated Theorem Proving
Published by Springer New York, Springer New York Jun 2013, 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.
-
First-Order Logic and Automated Theorem Proving
Published by Springer New York, Springer New York, 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Language: English
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.
-
First-Order Logic and Automated Theorem Proving
Published by Springer-Verlag [1990], New York, 1990
Seller: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.
Association Member: ABAA ILAB IOBA
Seller rating 5 out of 5 stars
First Edition
Hardcover. Condition: Very near Fine. First edition. 8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored glossy paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving.
-
hardcover. Condition: Sehr gut. 257 Seiten; M25-07-S-17-VG Sprache: Deutsch Gewicht in Gramm: 2.
-
First-Order Logic and Automated Theorem Proving
Published by Springer New York Jun 2013, 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject. 348 pp. Englisch.
-
First-Order Logic and Automated Theorem Proving
Published by Springer-Verlag New York Inc., 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 127.88
US$ 21.82 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 584.
-
Condition: New. Print on Demand pp. 348 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
-
Condition: New. PRINT ON DEMAND pp. 348.
