Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Eine Termlogik mit Auswahloperator (Lecture Notes in...
Beispielbild für diese ISBN
Term Logic With Choice Operator
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1970
ISBN 10: 3540048995
ISBN 13: 9783540048992
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers E-566-875
Gebraucht kaufen
EUR 6,17
EUR 16,50 Versand
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Term Logic with Choice Operator
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 48. Bestandsnummer des Verkäufers 262171433
Neu kaufen
EUR 42,09
EUR 3,46 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Term Logic with Choice Operator (Lecture Notes in Mathematics, 6)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540048992_new
Neu kaufen
EUR 31,95
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Term Logic with Choice Operator
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540048992
Neu kaufen
EUR 28,85
EUR 17,93 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Term Logic with Choice Operator
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 48. Bestandsnummer des Verkäufers 5676534
Neu kaufen
EUR 39,37
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Term Logic with Choice Operator
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 48. Bestandsnummer des Verkäufers 182171427
Neu kaufen
EUR 37,27
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Term Logic with Choice Operator
Verlag:
Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10: 3540048995
ISBN 13: 9783540048992
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 52 pp. Englisch. Bestandsnummer des Verkäufers 9783540048992
Neu kaufen
EUR 26,70
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Term logic with choice operator (Lecture notes in mathematics, 6).
Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 55 Seiten 1970. Einband etwas berieben, sonst sauber und gut. Sprache: Englisch. Bestandsnummer des Verkäufers 41297
Gebraucht kaufen
EUR 14,00
EUR 39,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Term Logic with Choice Operator (Lecture Notes in Mathematics)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 48 pages. 11.69x8.27x0.11 inches. In Stock. Bestandsnummer des Verkäufers x-3540048995
Neu kaufen
EUR 54,91
EUR 11,57 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Term Logic with Choice Operator
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4878565
Neu kaufen
EUR 26,39
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar