Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Eine Termlogik mit Auswahloperator: 6
Foto dell'editore
Term Logic With Choice Operator
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1970
ISBN 10: 3540048995
ISBN 13: 9783540048992
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo E-566-875
Compra usato
EUR 6,17
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Term Logic with Choice Operator
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 48. Codice articolo 262171433
Compra nuovo
EUR 41,56
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Term Logic With Choice Operator
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6908867-n
Compra nuovo
EUR 42,75
Spedizione EUR 2,28
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Term Logic with Choice Operator (Lecture Notes in Mathematics, 6)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540048992_new
Compra nuovo
EUR 32,00
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Term Logic with Choice Operator
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 48. Codice articolo 5676534
Compra nuovo
EUR 39,09
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Term Logic With Choice Operator
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 6908867
Compra usato
EUR 44,45
Spedizione EUR 2,28
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Term Logic with Choice Operator
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540048992
Compra nuovo
EUR 28,90
Spedizione EUR 17,96
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Term Logic with Choice Operator
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 48. Codice articolo 182171427
Compra nuovo
EUR 37,27
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Term Logic with Choice Operator
Editore:
Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10: 3540048995
ISBN 13: 9783540048992
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 52 pp. Englisch. Codice articolo 9783540048992
Compra nuovo
EUR 26,70
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Term logic with choice operator (Lecture notes in mathematics, 6).
Editore:
Springer-Verlag,, 1970
ISBN 10: 3540048995
ISBN 13: 9783540048992
Antico o usato
Taschenbuch
Da: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. 55 Seiten 1970. Einband etwas berieben, sonst sauber und gut. Sprache: Englisch. Codice articolo 41297
Compra usato
EUR 14,00
Spedizione EUR 39,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili