Importo totale (1 articolo articoli):
Destinazione ordine:
rasga joao (28 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (28)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (26)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (14)
- Non Print on Demand (13)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
A Mathematical Primer on Computability
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 20,25
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
A Mathematical Primer on Computability
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 20,77
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
A Mathematical Primer on Computability
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 20,02
Spedizione EUR 3,46
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
A Mathematical Primer on Computability
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 24,29
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
A Mathematical Primer on Computability
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 22,77
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
A Mathematical Primer on Computability
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 21,63
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
A Mathematical Primer on Computability
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 24,16
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Springer (India) Private Limited, 2020
ISBN 10: 303056553X ISBN 13: 9783030565534
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
-
A Mathematical Primer on Computability
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 21,64
Spedizione EUR 75,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
EUR 59,30
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Decidability of Logical Theories and Their Combination | João Rasga (u. a.) | Taschenbuch | xiii | Englisch | 2021 | Birkhäuser | EAN 9783030565565 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Decidability of Logical Theories and Their Combination
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2021
ISBN 10: 3030565564 ISBN 13: 9783030565565
EUR 67,57
Spedizione EUR 61,82
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory.The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field.Decidability of Logical Theories and their Combinationis ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 120,59
Spedizione EUR 28,98
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.
-
A Mathematical Primer on Computability
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 34,07
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 280.
-
A Mathematical Primer on Computability
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 32,89
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 280.
-
A Mathematical Primer on Computability
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 280.
-
Decidability of Logical Theories and Their Combination (eng)
Libro 16 di 18: Studies in Universal LogicDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 54,23
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Decidability of Logical Theories and Their Combination (eng)
Libro 16 di 18: Studies in Universal LogicDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 54,23
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
EUR 28,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThe book provides a self-contained introduction to computability theory for advanced undergraduate or early graduate students of mathematics and computer science. The technical material is illustrated with plenty of examples, prob.
-
Decidability of Logical Theories and Their Combination
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Berlin Springer International Publishing Springer Okt 2021, 2021
ISBN 10: 3030565564 ISBN 13: 9783030565565
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 64,19
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory.The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field.Decidability of Logical Theories and their Combinationis ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination. 178 pp. Englisch.
-
EUR 33,13
Spedizione EUR 62,15
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The book provides a self-contained introduction to computability theory for advanced undergraduate or early graduate students of mathematics and computer science. The technical material is illustrated with plenty of examples, problems with fully worked solutions as well as a range of proposed exercises.Part I is centered around fundamental computability notions and results, starting with the pillar concepts of computational model (an abstract high-level programming language), computable function, decidable and listable set, proper universal function, decision problem and the reduction technique for transferring decidability and listability properties. The essential results namely Rice's Theorem, Rice-Shapiro's Theorem, Rice-Shapiro-McNaughton-Myhill's Theorem as well as Rogers' Theorem and the Recursion Theorem are presented and illustrated. Many-to-one reducibility and many-to-one degrees are investigated. A short introduction to computation with oracles is also included. Computable as well as non-computable operators are introduced as well as monotonic and finitary operators. The relationship between them is discussed, in particular via Myhill-Shepherdson's Theorem. Kleene's Least Fixed Point Theorem is also presented. Finally, Part I terminates with a briefi ng on the Turing computational model, Turing reducibility and Turing degrees.Part II of the book concentrates on applications of computability in several areas namely in logic (undecidability of arithmetic, satisfiability in propositional logic, decidability in modal logic), Euclidean geometry, graphs and Kolmogorov complexity. Nevertheless no previous knowledge of these subjects is required. The essential details for understanding the applications are provided.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Springer (India) Private Limited, 2020
ISBN 10: 303056553X ISBN 13: 9783030565534
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 93,75
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 94,08
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Springer (India) Private Limited, 2020
ISBN 10: 303056553X ISBN 13: 9783030565534
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 94,12
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
-
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Libro 16 di 18: Studies in Universal LogicDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 94,52
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
-
Decidability of Logical Theories and Their Combination
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Springer International Publishing, 2020
ISBN 10: 303056553X ISBN 13: 9783030565534
EUR 55,78
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a comprehensive, self-contained introduction to decidability of first-order theories, using detailed proofs and examples to illustrate and clarify complex conceptsIncorporates computability theory and reduction techni.
-
Decidability of Logical Theories and Their Combination
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2021
ISBN 10: 3030565564 ISBN 13: 9783030565565
EUR 57,59
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercis.
-
Decidability of Logical Theories and Their Combination
Libro 16 di 18: Studies in Universal LogicLingua: Inglese
Editore: Birkhäuser, Palgrave Macmillan Okt 2020, 2020
ISBN 10: 303056553X ISBN 13: 9783030565534
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 64,19
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 192 pp. Englisch.
