Ergebnisse filtern
Fachgebiet
Medium
  • 28
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 6
  • 3
  • 2
  • 1
  • 1
  • 2
Autoren
  • 2
  • 4
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 1
  • 3
  • 4
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 2
Verlag
  • 27
  • 1
Preis
  • 2
  • 26
Sprachen
  • 28
Verfügbarkeit
  • 28
Katalog
  • 28

Logik, formale Sprachen, Automaten

28  Treffer  für „Synthese Library“
    Kaipainen / Zenker / Hautamäki | Conceptual Spaces: Elaborations and Applications | Buch | Sack Fachmedien

    Kaipainen / Zenker / Hautamäki Conceptual Spaces: Elaborations and Applications

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-12802-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Ditmarsch / van der Hoek / Kooi | Dynamic Epistemic Logic | Buch | Sack Fachmedien

    van Ditmarsch / van der Hoek / Kooi Dynamic Epistemic Logic

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-1-4020-6908-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendricks / Jørgensen / Pedersen | Knowledge Contributors | Buch | Sack Fachmedien

    Hendricks / Jørgensen / Pedersen Knowledge Contributors

    2003. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4020-1748-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Centrone / Negri / Sarikaya | Mathesis Universalis, Computability and Proof | Buch | Sack Fachmedien

    Centrone / Negri / Sarikaya Mathesis Universalis, Computability and Proof

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-20446-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murawski | Recursive Functions and Metamathematics | Buch | Sack Fachmedien

    Murawski Recursive Functions and Metamathematics

    Problems of Completeness and Decidability, Gödel's Theorems
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-5904-3
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iacona | Logical Form | Buch | Sack Fachmedien

    Iacona Logical Form

    Between Logic and Natural Language
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89271-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone / Kant / Sarikaya | Reflections on the Foundations of Mathematics | Buch | Sack Fachmedien

    Centrone / Kant / Sarikaya Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15654-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krynicki / Mostowski / Szczerba | Quantifiers: Logics, Models and Computation | Buch | Sack Fachmedien

    Krynicki / Mostowski / Szczerba Quantifiers: Logics, Models and Computation

    Volume Two: Contributions
    1. Auflage. Softcover version of original hardcover Auflage 1995
    Verlag: Springer
    ISBN: 978-90-481-4540-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krynicki / Mostowski / Szczerba | Quantifiers: Logics, Models and Computation | Buch | Sack Fachmedien

    Krynicki / Mostowski / Szczerba Quantifiers: Logics, Models and Computation

    Volume Two: Contributions
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-0-7923-3449-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krynicki / Mostowski / Szczerba | Quantifiers: Logics, Models and Computation | Buch | Sack Fachmedien

    Krynicki / Mostowski / Szczerba Quantifiers: Logics, Models and Computation

    Volume One: Surveys
    1. Auflage. Softcover version of original hardcover Auflage 1995
    Verlag: Springer
    ISBN: 978-90-481-4539-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krynicki / Mostowski / Szczerba | Quantifiers: Logics, Models and Computation | Buch | Sack Fachmedien

    Krynicki / Mostowski / Szczerba Quantifiers: Logics, Models and Computation

    Volume Two: Contributions
    1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-0-7923-3450-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    van Ditmarsch / van der Hoek / Kooi | Dynamic Epistemic Logic | Buch | Sack Fachmedien

    van Ditmarsch / van der Hoek / Kooi Dynamic Epistemic Logic

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-1-4020-5838-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iacona | Logical Form | Buch | Sack Fachmedien

    Iacona Logical Form

    Between Logic and Natural Language
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74153-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fletcher | Truth, Proof and Infinity | Buch | Sack Fachmedien

    Fletcher Truth, Proof and Infinity

    A Theory of Constructive Reasoning
    1998. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-7923-5262-4
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    van Benthem / Gupta / Parikh | Proof, Computation and Agency | Buch | Sack Fachmedien

    van Benthem / Gupta / Parikh Proof, Computation and Agency

    Logic at the Crossroads
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-94-007-3581-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murawski | Recursive Functions and Metamathematics | Buch | Sack Fachmedien

    Murawski Recursive Functions and Metamathematics

    Problems of Completeness and Decidability, Gödel's Theorems
    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-90-481-5298-8
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone / Negri / Sarikaya | Mathesis Universalis, Computability and Proof | Buch | Sack Fachmedien

    Centrone / Negri / Sarikaya Mathesis Universalis, Computability and Proof

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-20449-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cocchiarella | Formal Ontology and Conceptual Realism | Buch | Sack Fachmedien

    Cocchiarella Formal Ontology and Conceptual Realism

    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-6203-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Centrone / Kant / Sarikaya | Reflections on the Foundations of Mathematics | Buch | Sack Fachmedien

    Centrone / Kant / Sarikaya Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15657-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgis | Logic Without Gaps or Gluts | Buch | Sack Fachmedien

    Burgis Logic Without Gaps or Gluts

    How to Solve the Paradoxes Without Sacrificing Classical Logic
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94626-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgis | Logic Without Gaps or Gluts | Buch | Sack Fachmedien

    Burgis Logic Without Gaps or Gluts

    How to Solve the Paradoxes Without Sacrificing Classical Logic
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94623-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cocchiarella | Formal Ontology and Conceptual Realism | Buch | Sack Fachmedien

    Cocchiarella Formal Ontology and Conceptual Realism

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-90-481-7565-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fletcher | Truth, Proof and Infinity | Buch | Sack Fachmedien

    Fletcher Truth, Proof and Infinity

    A Theory of Constructive Reasoning
    1. Auflage. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-90-481-5105-9
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendricks / Pedersen / Jørgensen | Proof Theory | Buch | Sack Fachmedien

    Hendricks / Pedersen / Jørgensen Proof Theory

    History and Philosophical Significance
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-90-481-5553-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendricks / Jørgensen / Pedersen | Knowledge Contributors | Buch | Sack Fachmedien

    Hendricks / Jørgensen / Pedersen Knowledge Contributors

    2003. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4020-1747-6
    Medium: Buch
    109,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular