Ergebnisse filtern
Fachgebiet
Medium
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
Verlag
  • 5
  • 1
  • 3
Preis
  • 4
  • 5
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9

Mathematische Logik

9  Treffer  für „Progress in Computer Science and Applied Logic“
    Li | Mathematical Logic | Buch | Sack Fachmedien

    Li Mathematical Logic

    Foundations for Information Science
    2. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-0348-0861-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Studer / Strahm | Advances in Proof Theory | Buch | Sack Fachmedien

    Kahle / Studer / Strahm Advances in Proof Theory

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-80513-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Studer / Strahm | Advances in Proof Theory | Buch | Sack Fachmedien

    Kahle / Studer / Strahm Advances in Proof Theory

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29196-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Khoussainov | Automata Theory and its Applications | Buch | Sack Fachmedien

    Nerode / Khoussainov Automata Theory and its Applications

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6645-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Khoussainov | Automata Theory and its Applications | Buch | Sack Fachmedien

    Nerode / Khoussainov Automata Theory and its Applications

    2001
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-4207-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley / Sweedler / Remmel | Logical Methods | Buch | Sack Fachmedien

    Crossley / Sweedler / Remmel Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3690-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley / Sweedler / Remmel | Logical Methods | Buch | Sack Fachmedien

    Crossley / Sweedler / Remmel Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6708-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spivak / Schultz | Temporal Type Theory | Buch | Sack Fachmedien

    Spivak / Schultz Temporal Type Theory

    A Topos-Theoretic Approach to Systems and Behavior
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00703-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snyder | A Proof Theory for General Unification | Buch | Sack Fachmedien

    Snyder A Proof Theory for General Unification

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6758-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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