Résultats de recherche pour Eine Termlogik mit Auswahloperator
Image d'archives
Term Logic With Choice Operator
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1970
ISBN 10 : 3540048995
ISBN 13 : 9783540048992
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Traces d'humidité sur les premières et dernières pages. Pages cornées. Couverture différente. Edition 1970. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Traces of humidity on the first and last pages. Dog-eared pages. Different cover. Edition 1970. Volume 6. Ammareal gives back up to 15% of this item's net. N° de réf. du vendeur E-566-875
Acheter D'occasion
EUR 5,84
Expédition à EUR 20,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Term Logic with Choice Operator (Lecture Notes in Mathematics, 6)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540048992_new
Acheter neuf
EUR 30,55
Expédition à EUR 13,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Term Logic with Choice Operator
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540048992
Acheter neuf
EUR 28,45
Expédition à EUR 17,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Term Logic with Choice Operator
Edité par
Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10 : 3540048995
ISBN 13 : 9783540048992
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 52 pp. Englisch. N° de réf. du vendeur 9783540048992
Acheter neuf
EUR 26,70
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Term logic with choice operator (Lecture notes in mathematics, 6).
Edité par
Springer-Verlag,, 1970
ISBN 10 : 3540048995
ISBN 13 : 9783540048992
Ancien ou d'occasion
Taschenbuch
Vendeur : Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Taschenbuch. 55 Seiten 1970. Einband etwas berieben, sonst sauber und gut. Sprache: Englisch. N° de réf. du vendeur 41297
Acheter D'occasion
EUR 14
Expédition à EUR 39
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Term Logic with Choice Operator (Lecture Notes in Mathematics)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 48 pages. 11.69x8.27x0.11 inches. In Stock. N° de réf. du vendeur x-3540048995
Acheter neuf
EUR 53,63
Expédition à EUR 11,41
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Term Logic with Choice Operator
Edité par
Springer Berlin Heidelberg, 1970
ISBN 10 : 3540048995
ISBN 13 : 9783540048992
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank o. N° de réf. du vendeur 4878565
Acheter neuf
EUR 26,39
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Term Logic with Choice Operator
Edité par
Springer, Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10 : 3540048995
ISBN 13 : 9783540048992
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank of term. Elementary substitution.- A term calculus.- Soundness of the rules.- Survey of the completeness proof.- Some theorems concerning deducibility.- Substitution.- Further theorems concerning deducibility.- Survey of the proof of the Theorem on satisfiability.- Details of the proof.- Completeness of restricted term calculus.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 52 pp. Englisch. N° de réf. du vendeur 9783540048992
Acheter neuf
EUR 26,70
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Term Logic with Choice Operator
Edité par
Springer Berlin Heidelberg, 1970
ISBN 10 : 3540048995
ISBN 13 : 9783540048992
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering. N° de réf. du vendeur 9783540048992
Acheter neuf
EUR 26,70
Expédition à EUR 60,48
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Term Logic with Choice Operator
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Term Logic with Choice Operator | Hans Hermes | Taschenbuch | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540048992 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101571722
Acheter neuf
EUR 26,55
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)