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 (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,38
Spedizione EUR 14,05
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
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 43,05
Spedizione EUR 3,51
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 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 29,24
Spedizione EUR 18,17
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: 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 40,99
Spedizione EUR 7,62
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
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
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 41,39
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 (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
Foto dell'editore
Term Logic with Choice Operator (Lecture Notes in Mathematics)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 48 pages. 11.69x8.27x0.11 inches. In Stock. Codice articolo x-3540048995
Compra nuovo
EUR 55,66
Spedizione EUR 11,73
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Term Logic with Choice Operator
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4878565
Compra nuovo
EUR 26,39
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Term Logic with Choice Operator
Editore:
Springer, Springer Spektrum Jan 1970, 1970
ISBN 10: 3540048995
ISBN 13: 9783540048992
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540048992
Compra nuovo
EUR 26,70
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili