Ergebnisse filtern
Fachgebiet
Medium
  • 1908
  • 152
  • 18
Erscheinungsjahr
  • 6
  • 94
  • 88
  • 92
  • 110
  • 93
  • 70
  • 111
  • 62
  • 67
  • 41
  • 69
  • 82
  • 154
  • 65
  • 140
  • 30
  • 35
  • 18
  • 26
  • 26
  • 28
  • 22
  • 53
  • 57
  • 44
  • 38
  • 29
  • 32
  • 25
  • 25
  • 19
  • 19
  • 20
  • 10
  • 10
  • 13
  • 8
  • 7
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 9
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 9
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 24
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 14
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 12
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 6
  • 3
  • 8
  • 5
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 5
  • 14
Verlag
  • 13
  • 2
  • 1
  • 2
  • 2
  • 6
  • 2
  • 1
  • 19
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 137
  • 2
  • 13
  • 1
  • 1
  • 17
  • 156
  • 2
  • 1
  • 2
  • 6
  • 18
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 1
  • 2
  • 10
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 13
  • 2
  • 7
  • 13
  • 2
  • 1
  • 1
  • 1
  • 2
  • 28
  • 1
  • 1
  • 5
  • 1
  • 20
  • 1
  • 1
  • 1
  • 1
  • 320
  • 209
  • 4
  • 391
  • 7
  • 2
  • 49
  • 38
  • 242
  • 9
  • 104
  • 8
  • 6
  • 21
  • 10
  • 13
  • 29
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 15
  • 2
  • 15
  • 1
  • 2
  • 4
Preis
  • 53
  • 187
  • 690
  • 1148
Sprachen
  • 1894
  • 173
  • 28
Verfügbarkeit
  • 2053
  • 25
Eigenschaften
  • 1
Katalog
  • 2078
  • 131
2.078  Titel
    Gabbay / Zakharyaschev | Mathematical Problems from Applied Logic I | Buch | Sack Fachmedien

    Gabbay / Zakharyaschev Mathematical Problems from Applied Logic I

    Logics for the XXIst Century
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4419-2110-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shore / Nerode | Logic for Applications | Buch | Sack Fachmedien

    Shore / Nerode Logic for Applications

    Softcover Nachdruck of the original 2. Auflage 1997
    Verlag: Springer
    ISBN: 978-1-4612-6855-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Smale / Cucker | Complexity and Real Computation | Buch | Sack Fachmedien

    Blum / Smale / Cucker Complexity and Real Computation

    1998
    Verlag: Springer
    ISBN: 978-1-4612-6873-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Smale / Cucker | Complexity and Real Computation | Buch | Sack Fachmedien

    Blum / Smale / Cucker Complexity and Real Computation

    1998
    Verlag: Springer
    ISBN: 978-0-387-98281-6
    Medium: Buch
    85,55 € (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
    Engeler | The Combinatory Programme | Buch | Sack Fachmedien

    Engeler The Combinatory Programme

    1995
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3801-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kossak | Mathematical Logic | Buch | Sack Fachmedien

    Kossak Mathematical Logic

    On Numbers, Sets, Structures, and Symmetry
    2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-07331-2
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Clerbout / McConaughey | Immanent Reasoning or Equality in Action | Buch | Sack Fachmedien

    Rahman / Clerbout / McConaughey Immanent Reasoning or Equality in Action

    A Plaidoyer for the Play Level
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-08187-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czelakowski | Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | Buch | Sack Fachmedien

    Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-09074-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weiss | Constructive Semantics | Buch | Sack Fachmedien

    Weiss Constructive Semantics

    Meaning in Between Phenomenology and Constructivism
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21315-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Formal Methods for Nonmonotonic and Related Logics | Buch | Sack Fachmedien

    Schlechta Formal Methods for Nonmonotonic and Related Logics

    Vol II: Theory Revision, Inheritance, and Various Abstract Properties
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-89649-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mitchell / Steel | Fine Structure and Iteration Trees | Buch | Sack Fachmedien

    Mitchell / Steel Fine Structure and Iteration Trees

    Erscheinungsjahr 2017
    Verlag: Cambridge University Press
    ISBN: 978-1-107-16909-8
    Medium: Buch
    127,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Ono / Lee | Philosophical Logic: Current Trends in Asia | Buch | Sack Fachmedien

    Yang / Ono / Lee Philosophical Logic: Current Trends in Asia

    Proceedings of AWPL-TPLC 2016
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer Nature Singapore
    ISBN: 978-981-13-4863-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sui / Li | R-CALCULUS: A Logic of Belief Revision | Buch | Sack Fachmedien

    Sui / Li R-CALCULUS: A Logic of Belief Revision

    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-16-2946-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirata / Hamanaka / Tojo | Music, Mathematics and Language | Buch | Sack Fachmedien

    Hirata / Hamanaka / Tojo Music, Mathematics and Language

    The New Horizon of Computational Musicology Opened by Information Science
    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-19-5165-7
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ravichandran / Razdan | Fundamentals of Analysis with Applications | Buch | Sack Fachmedien

    Ravichandran / Razdan Fundamentals of Analysis with Applications

    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-16-8382-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Yama / Jacquet | Human and Artificial Rationalities | Buch | Sack Fachmedien

    Baratgin / Yama / Jacquet Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19¿22, 2023, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-55244-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Velázquez-Quesada / Gierasimczuk | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Velázquez-Quesada / Gierasimczuk Dynamic Logic. New Trends and Applications

    5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15¿16, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-51776-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Worrell / Kobayashi | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Worrell / Kobayashi Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57227-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Nola / Grigolia / Turunen | Fuzzy Logic of Quasi-Truth: An Algebraic Treatment | Buch | Sack Fachmedien

    Di Nola / Grigolia / Turunen Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-80801-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ursino / Cantone | An Introduction to the Technique of Formative Processes in Set Theory | Buch | Sack Fachmedien

    Ursino / Cantone An Introduction to the Technique of Formative Processes in Set Theory

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baskent / Baskent / Ramanujam | Rohit Parikh on Logic, Language and Society | Buch | Sack Fachmedien

    Baskent / Baskent / Ramanujam Rohit Parikh on Logic, Language and Society

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83838-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cook / Hellman | Hilary Putnam on Logic and Mathematics | Buch | Sack Fachmedien

    Cook / Hellman Hilary Putnam on Logic and Mathematics

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-96273-3
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farmer | Simple Type Theory | Buch | Sack Fachmedien

    Farmer Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-21114-0
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Clerbout | Linking Game-Theoretical Approaches with Constructive Type Theory | Buch | Sack Fachmedien

    Rahman / Clerbout Linking Game-Theoretical Approaches with Constructive Type Theory

    Dialogical Strategies, CTT demonstrations and the Axiom of Choice
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19062-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