Ergebnisse filtern
Fachgebiet
Medium
  • 1941
  • 156
  • 18
Erscheinungsjahr
  • 52
  • 98
  • 83
  • 92
  • 105
  • 94
  • 71
  • 110
  • 59
  • 67
  • 42
  • 70
  • 83
  • 156
  • 65
  • 144
  • 29
  • 32
  • 17
  • 26
  • 25
  • 27
  • 22
  • 50
  • 56
  • 43
  • 38
  • 29
  • 33
  • 25
  • 25
  • 19
  • 19
  • 21
  • 10
  • 9
  • 15
  • 8
  • 7
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 9
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 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
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 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
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 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
  • 10
  • 5
  • 6
  • 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
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 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
  • 3
  • 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
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 5
  • 2
  • 2
  • 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
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 4
  • 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
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 9
  • 8
  • 4
  • 4
  • 3
  • 5
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 14
Verlag
  • 25
  • 2
  • 1
  • 2
  • 2
  • 14
  • 2
  • 1
  • 11
  • 1
  • 2
  • 1
  • 1
  • 3
  • 139
  • 26
  • 1
  • 31
  • 160
  • 2
  • 1
  • 2
  • 7
  • 18
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 13
  • 2
  • 1
  • 7
  • 16
  • 1
  • 2
  • 1
  • 1
  • 2
  • 28
  • 2
  • 1
  • 4
  • 1
  • 25
  • 1
  • 1
  • 1
  • 1
  • 397
  • 208
  • 4
  • 390
  • 7
  • 2
  • 54
  • 65
  • 205
  • 9
  • 75
  • 7
  • 5
  • 18
  • 8
  • 5
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 15
  • 2
  • 16
  • 1
  • 2
  • 4
Preis
  • 59
  • 185
  • 700
  • 1171
Sprachen
  • 1928
  • 176
  • 17
  • 8
  • 2
  • 1
Verfügbarkeit
  • 2103
  • 12
Eigenschaften
  • 2
  • 2
Katalog
  • 2115
  • 131
2.115  Titel
    Wybraniec-Skardowska | Logic - Language - Ontology | Buch | Sack Fachmedien

    Wybraniec-Skardowska Logic - Language - Ontology

    Selected Works
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-22329-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Givant | Advanced Topics in Relation Algebras | Buch | Sack Fachmedien

    Givant Advanced Topics in Relation Algebras

    Relation Algebras, Volume 2
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-65944-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graziani / Calosi | Mereology and the Sciences | Buch | Sack Fachmedien

    Graziani / Calosi Mereology and the Sciences

    Parts and Wholes in the Contemporary Scientific Context
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-05355-4
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graziani / Calosi | Mereology and the Sciences | Buch | Sack Fachmedien

    Graziani / Calosi Mereology and the Sciences

    Parts and Wholes in the Contemporary Scientific Context
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35793-5
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böhm / Ausiello | Automata, Languages and Programming | Buch | Sack Fachmedien

    Böhm / Ausiello Automata, Languages and Programming

    Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    1978
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-08860-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taitslin / Nerode | Logical Foundations of Computer Science - Tver '92 | Buch | Sack Fachmedien

    Taitslin / Nerode Logical Foundations of Computer Science - Tver '92

    Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55707-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Melham | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bongiovanni / Di Battista / Bovet | Algorithms and Complexity | Buch | Sack Fachmedien

    Bongiovanni / Di Battista / Bovet Algorithms and Complexity

    Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62592-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bicarregui / Fitzgerald / Ritchie | Proof in VDM: A Practitioner's Guide | Buch | Sack Fachmedien

    Bicarregui / Fitzgerald / Ritchie Proof in VDM: A Practitioner's Guide

    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19813-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budach / Lupanov / Bukharajev | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Budach / Lupanov / Bukharajev Fundamentals of Computation Theory

    International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biswas / De | Multi-Objective Stochastic Programming in Fuzzy Environments | Buch | Sack Fachmedien

    Biswas / De Multi-Objective Stochastic Programming in Fuzzy Environments

    Erscheinungsjahr 2019
    Verlag: Engineering Science Reference
    ISBN: 978-1-5225-9296-9
    Medium: Buch
    169,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Newborn | Automated Theorem Proving | Buch | Sack Fachmedien

    Newborn Automated Theorem Proving

    Theory and Practice
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4612-6519-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mints | A Short Introduction to Intuitionistic Logic | Buch | Sack Fachmedien

    Mints A Short Introduction to Intuitionistic Logic

    2000
    Verlag: Springer US
    ISBN: 978-1-4757-7319-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerstein | Introduction to Mathematical Structures and Proofs | Buch | Sack Fachmedien

    Gerstein Introduction to Mathematical Structures and Proofs

    Softcover Nachdruck of the original 2. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4939-5146-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansson / Hendricks | Introduction to Formal Philosophy | Buch | Sack Fachmedien

    Hansson / Hendricks Introduction to Formal Philosophy

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-08454-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    VerLoren van Themaat | Räumliche Vorstellung und Mathematisches Erkenntnisvermögen | Buch | Sack Fachmedien

    VerLoren van Themaat Räumliche Vorstellung und Mathematisches Erkenntnisvermögen

    Erster Band
    1963
    Verlag: Springer Netherlands
    ISBN: 978-90-277-0089-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alps | A.P. Morse's Set Theory and Analysis | Buch | Sack Fachmedien

    Alps A.P. Morse's Set Theory and Analysis

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05354-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cusmariu | Logic for Kids | Buch | Sack Fachmedien

    Cusmariu Logic for Kids

    All Aboard the Therefore Train!
    1. Auflage 2023
    Verlag: Jenny Stanford Publishing
    ISBN: 978-981-4968-60-7
    Medium: Buch
    88,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holzhausen | Logik und Zweckreinheit im neudeutschen Schachproblem | eBook | Sack Fachmedien
    E-Book

    Holzhausen Logik und Zweckreinheit im neudeutschen Schachproblem

    eine Denkschrift zum 25jährigen Jubiläum des "Indischen Problems" von Kohtz u. Kockelkorn ; nebst 2 anderen problemschachlichen Abhandlungen ; mit 155 Diagrammen
    Nachdruck 2011
    Verlag: De Gruyter
    ISBN: 978-3-11-171610-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    109,95 € (inkl. MwSt.)
    sofort verfügbar
    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
    Samko / Karapetiants | Equations with Involutive Operators | Buch | Sack Fachmedien

    Samko / Karapetiants Equations with Involutive Operators

    2001
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-4157-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemmon | Beginning Logic | Buch | Sack Fachmedien

    Lemmon Beginning Logic

    1. Auflage 1971
    Verlag: Taylor & Francis Ltd
    ISBN: 978-0-412-38090-7
    Medium: Buch
    100,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Zelëny / Anderson | Logic, Meaning and Computation | Buch | Sack Fachmedien

    Zelëny / Anderson Logic, Meaning and Computation

    Essays in Memory of Alonzo Church
    2001
    Verlag: Springer Netherlands
    ISBN: 978-94-010-3891-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann | Grenzen der Mathematik | Buch | Sack Fachmedien

    Hoffmann Grenzen der Mathematik

    Eine Reise durch die Kerngebiete der mathematischen Logik
    3. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56616-9
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Kahle / Stärk / Schroeder-Heister | Proof Theory in Computer Science | Buch | Sack Fachmedien

    Kahle / Stärk / Schroeder-Heister Proof Theory in Computer Science

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42752-0
    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