First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

Fitting, Melvin

5 évaluations par Goodreads

Langue : anglais

Edité par Springer Verlag, 1990

0387972331 / 9780387972336

Série : Livre 28 sur 83 - Texts in Computer Science

Partenaire historique

Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-UnisZubal-Books, Since 1961

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 juillet 1996

Livre relié

Etat: Occasion - Assez bon

EUR 27,04

EUR 3,97 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

242 pp., hardcover, previous owner's name to the front free endpaper, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

N° de réf. du vendeur ZB1353246

Détails bibliographiques

Titre
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
Auteur
Fitting, Melvin
Éditeur
Springer Verlag
Année de publication
1990
État de l'article
Very Good
Reliure
Couverture rigide
Langue
anglais
ISBN à 10 chiffres
0387972331
ISBN à 13 chiffres
9780387972336
Série
Livre 28 sur 83: Texts in Computer Science

Zubal-Books, Since 1961

Cleveland, OH, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 juillet 1996

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article4 à 14 jours ouvrés3 à 5 jours ouvrés
Premier articleEUR 3,97EUR 12,35
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Spécialité

Rare Books, History, First Editions, Science Fiction, Science Technology, We purchase entire libraries, Anthropology Archaeology Art, Occult, Math Physics Engineering Chemistry

Profil professionnel du vendeur

Zubal Books

2969 West 25th Street
Cleveland, OH Etats-Unis 44113