Isbn: 9783540048992 - eine termlogik mit auswahloperator: 6 (10 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (10)

  • Nuovo (10)
Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Springer, 1970

    3540048995 / 9783540048992

    • Brossura

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 32,20

    EUR 10,93 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In English.

  • Lingua: Inglese

    Editore: Springer, 1970

    3540048995 / 9783540048992

    • Brossura

    Da: Books Puddle, New York, NY, U.S.A.Books Puddle

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 42,49

    EUR 3,47 spedizione 
    Spedito in U.S.A.

    Quantità: 4 disponibili

    Condizione: New. pp. 48.

  • Lingua: Inglese

    Editore: Springer 1970-01, 1970

    3540048995 / 9783540048992

    • Brossura

    Da: Chiron Media, Wallingford, Regno UnitoChiron Media

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 29,07

    EUR 18,06 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 10 disponibili

    PF. Condizione: New.

  • Lingua: Inglese

    Editore: Springer, 1970

    3540048995 / 9783540048992

    • Brossura

    Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 55,47

    EUR 11,66 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 2 disponibili

    Paperback. Condizione: Brand New. 1st edition. 48 pages. 11.69x8.27x0.11 inches. In Stock.

  • Lingua: Inglese

    Editore: Springer, 1970

    3540048995 / 9783540048992

    • Brossura

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 40,58

    EUR 30,50 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

  • Lingua: Inglese

    Editore: Springer, 1970

    3540048995 / 9783540048992

    • Brossura
    • Print on Demand

    Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 39,62

    EUR 7,58 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. Print on Demand pp. 48.

  • Lingua: Inglese

    Editore: Springer Berlin Heidelberg Jan 1970, 1970

    3540048995 / 9783540048992

    • Brossura
    • Print on Demand

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 26,70

    EUR 23,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 52 pp. Englisch.

  • Lingua: Inglese

    Editore: Springer, 1970

    3540048995 / 9783540048992

    • Brossura
    • Print on Demand

    Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 40,66

    EUR 9,95 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. PRINT ON DEMAND pp. 48.

  • Lingua: Inglese

    Editore: Springer Berlin Heidelberg, 1970

    3540048995 / 9783540048992

    • Brossura
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 26,39

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    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.…

  • Lingua: Inglese

    Editore: Springer, Springer Spektrum Jan 1970, 1970

    3540048995 / 9783540048992

    • Brossura
    • Print on Demand

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 26,70

    EUR 60,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    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.…