Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2061
- 158
- 18
- Erscheinungsjahr
-
- 1
- 4
- 69
- 99
- 85
- 96
- 107
- 96
- 73
- 112
- 59
- 69
- 48
- 71
- 83
- 158
- 69
- 145
- 33
- 34
- 17
- 30
- 33
- 32
- 24
- 52
- 60
- 48
- 40
- 34
- 34
- 29
- 30
- 26
- 25
- 21
- 11
- 9
- 15
- 9
- 7
- 5
- 11
- 6
- 7
- 2
- 6
- 9
- 2
- 3
- 5
- 3
- 5
- 3
- 8
- 3
- 4
- 8
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 7
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 7
- 2
- 6
- 2
- 2
- 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
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 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
- 6
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 11
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 35
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 10
- 7
- 8
- 2
- 3
- 4
- 2
- 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
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 14
- 2
- 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
- 2
- 3
- 2
- 2
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 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
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 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
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 4
- 2
- 4
- 7
- 2
- 2
- 2
- 7
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 12
- 2
- 2
- 2
- 2
- 3
- 2
- 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
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 9
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 9
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 7
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 9
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 6
- 3
- 8
- 5
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 8
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 3
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 5
- 3
- 6
- 3
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 11
- 2
- 4
- 3
- 7
- 5
- 3
- 4
- 6
- 4
- 8
- 3
- 4
- 4
- 4
- 9
- 8
- 4
- 3
- 4
- 3
- 5
- 3
- 6
- 6
- 3
- 4
- 3
- 3
- 5
- 5
- 5
- 14
- Verlag
-
- 25
- 2
- 7
- 1
- 2
- 2
- 36
- 2
- 1
- 11
- 1
- 1
- 1
- 3
- 141
- 26
- 2
- 35
- 163
- 2
- 1
- 1
- 2
- 6
- 19
- 2
- 5
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 56
- 1
- 1
- 1
- 4
- 36
- 2
- 5
- 2
- 1
- 5
- 25
- 2
- 1
- 4
- 1
- 26
- 1
- 1
- 1
- 1
- 953
- 31
- 4
- 177
- 3
- 2
- 17
- 12
- 144
- 9
- 66
- 6
- 2
- 30
- 9
- 5
- 2
- 1
- 2
- 1
- 4
- 1
- 15
- 2
- 1
- 20
- 1
- 1
- 2
- 4
- Preis
-
- 63
- 188
- 720
- 1266
- Sprachen
-
- 2045
- 185
- 17
- 8
- 2
- 1
- Verfügbarkeit
-
- 2224
- 13
- Eigenschaften
-
- 2
- Katalog
-
- 2237
- 131
-
Šimkus / Varzinczak Reasoning Web. Declarative Artificial Intelligence
17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures1. Auflage 2022Verlag: SpringerISBN: 978-3-030-95480-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hinman ¿-Bibliography of Mathematical Logic
Recursion TheorySoftcover Nachdruck of the original 1. Auflage 1987Verlag: SpringerISBN: 978-3-662-09063-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hintikka Language, Truth and Logic in Mathematics
1. Auflage. Softcover version of original hardcover Auflage 1997Verlag: Springer NetherlandsISBN: 978-90-481-4923-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Poernomo / Wirsing / Crossley Adapting Proofs-as-Programs
The Curry--Howard Protocol1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2014-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Givant Duality Theories for Boolean Algebras with Operators
2014Verlag: SpringerISBN: 978-3-319-06742-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schacht Mathematische Begriffsbildung zwischen Implizitem und Explizitem
Individuelle Begriffsbildungsprozesse zum Muster- und Variablenbegriff2012Verlag: Vieweg+Teubner VerlagISBN: 978-3-8348-1967-3Medium: Buch82,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage82,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brattka / Spreen / Diener Logic, Computation, Hierarchies
1. Auflage 2014Verlag: De GruyterISBN: 978-1-61451-783-2Medium: Buch169,95 € (inkl. MwSt.)
List Price
Lieferzeit ca. 10 Werktage169,95 € (inkl. MwSt.)
List Price
Lieferfrist: bis zu 10 Werktage -
Petrolo / Venturi Paradoxes Between Truth and Proof
2024Verlag: SpringerISBN: 978-3-031-74526-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Edwards Essays in Constructive Mathematics
2. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-98557-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gabbay / Goncharov / Zakharyaschev Mathematical Problems from Applied Logic II
Logics for the Xxist Century2007. Auflage 2007Verlag: SpringerISBN: 978-0-387-69244-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Siefkes / Müller Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic1. Auflage 1970Verlag: SpringerISBN: 978-3-540-04909-8Medium: Buch26,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage26,70 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abrusci / Tortora de Falco Logica
Volume 2 - Incompletezza, teoria assiomatica degli insiemi1a Auflage 2018Verlag: SpringerISBN: 978-88-470-3967-4Medium: Buch30,86 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage30,86 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Andrews An Introduction to Mathematical Logic and Type Theory
To Truth Through Proof2. Auflage 2002. Softcover Nachdruck of the original 2. Auflage 2002Verlag: Springer NetherlandsISBN: 978-90-481-6079-2Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Downey / Melnikov Computable Structure Theory
A Unified ApproachErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92432-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Newborn Automated Theorem Proving
Theory and Practice2001. Auflage 2000Verlag: SpringerISBN: 978-0-387-95075-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sztandera / Matsakis Applying Soft Computing in Defining Spatial Relations
2002Verlag: Physica-Verlag HDISBN: 978-3-7908-1504-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Béziau / Pascu / Desclés Logic in Question
Talks from the Annual Sorbonne Logic Workshop (2011- 2019)1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-94454-4Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koslow Laws and Explanations; Theories and Modal Possibilities
1. Auflage 2019Verlag: SpringerISBN: 978-3-030-18848-1Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marek / Truszczynski Nonmonotonic Logic
Context-Dependent ReasoningSoftcover Nachdruck of the original 1. Auflage 1993Verlag: SpringerISBN: 978-3-662-02908-4Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibson / O'Mahony Ludwig Wittgenstein: Dictating Philosophy
To Francis Skinner - The Wittgenstein-Skinner Manuscripts1. Auflage 2020Verlag: SpringerISBN: 978-3-030-36086-3Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
van Oosten / Moerdijk Sets, Models and Proofs
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-92413-7Medium: Buch35,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage35,30 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hachenberger Finite Fields
Normal Bases and Completely Free ElementsErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-7877-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Hasenjaeger / Rödding Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/WestfalenSoftcover Nachdruck of the original 1. Auflage 1984Verlag: SpringerISBN: 978-3-540-13331-5Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abe / Akama / Nakamatsu Introduction to Annotated Logics
Foundations for Paracomplete and Paraconsistent Reasoning2015Verlag: SpringerISBN: 978-3-319-17911-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonzon / Cavalcanti / Nossum Formal Aspects of Context
1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: SpringerISBN: 978-90-481-5472-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort