Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1921
- 153
- 18
- Erscheinungsjahr
-
- 18
- 100
- 88
- 92
- 109
- 93
- 71
- 111
- 61
- 67
- 40
- 70
- 82
- 155
- 65
- 140
- 30
- 35
- 17
- 25
- 26
- 27
- 22
- 52
- 57
- 43
- 39
- 28
- 32
- 25
- 25
- 19
- 19
- 20
- 10
- 10
- 14
- 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
- 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
- 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
- 3
- 2
- 4
- 2
- 4
- 2
- 6
- 3
- 2
- 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
- 2
- 3
- 2
- 5
- 2
- 2
- 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
- 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
- 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
- 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
- 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
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 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
- 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
- 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
- 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
- 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
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 9
- 2
- 4
- 2
- 2
- 2
- 3
- 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
- 4
- 3
- 6
- 3
- 3
- 2
- 6
- 5
- 2
- 2
- 2
- 2
- 11
- 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
- 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
- 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
- 4
- 3
- 5
- 5
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 14
- Verlag
-
- 13
- 2
- 1
- 2
- 2
- 6
- 2
- 1
- 19
- 1
- 2
- 2
- 1
- 1
- 3
- 139
- 13
- 1
- 42
- 157
- 2
- 1
- 2
- 6
- 18
- 2
- 5
- 5
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 13
- 2
- 7
- 20
- 2
- 1
- 1
- 2
- 28
- 2
- 1
- 5
- 1
- 20
- 1
- 1
- 1
- 1
- 320
- 209
- 4
- 390
- 7
- 2
- 52
- 51
- 242
- 9
- 106
- 8
- 5
- 22
- 9
- 12
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 15
- 2
- 15
- 1
- 2
- 4
- Preis
-
- 52
- 190
- 692
- 1158
- Sprachen
-
- 1908
- 173
- 17
- 8
- 2
- 1
- Verfügbarkeit
-
- 2075
- 17
- Eigenschaften
-
- 2
- Katalog
-
- 2092
- 131
-
Gauthier Towards an Arithmetical Logic
The Arithmetical Foundations of Logic1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22086-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Thiagarajan / Donatelli Petri Nets and Other Models of Concurrency - ICATPN 2006
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Stegmüller Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-12213-5Medium: Buch17,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage17,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ringeissen / Kirchner Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67281-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Varzinczak / Šimkus Reasoning Web. Declarative Artificial Intelligence
17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-95480-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Reilly / Petrich Completely Regular Semigroup Varieties
A Comprehensive Study with Modern Insights2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42890-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ehrig / Schürr / Rensink Graph Transformations
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15927-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
van den Dries / Koenigsmann / Wilkie Model Theory in Algebra, Analysis and Arithmetic
Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori2014Verlag: SpringerISBN: 978-3-642-54935-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Casadio / Scott / Coecke Categories and Types in Logic, Language, and Physics
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday2014Verlag: SpringerISBN: 978-3-642-54788-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Skowron / Peters Transactions on Rough Sets XVII
2014Verlag: SpringerISBN: 978-3-642-54755-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Tortora de Falco / Abrusci Logica
Volume 2 - Incompletezza, teoria assiomatica degli insiemi1a Auflage 2018Verlag: Springer MilanISBN: 978-88-470-3967-4Medium: Buch30,86 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage30,86 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Fenske Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
1967Verlag: VS Verlag für SozialwissenschaftenISBN: 978-3-322-96118-1Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-92686-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Venturi / Petrolo Paradoxes Between Truth and Proof
2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-74526-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Koons Realism Regained: An Exact Theory of Causation, Teleology, and the Mind
Neuausgabe 2000Verlag: OXFORD UNIV PRISBN: 978-0-19-513567-1Medium: Buch140,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage140,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Walton Goal-Based Reasoning for Argumentation
Erscheinungsjahr 2015Verlag: Cambridge University PressISBN: 978-1-107-54509-0Medium: Buch47,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage47,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bimbo Proof Theory
Sequent Calculi and Related Formalisms1. Auflage 2014Verlag: CRC PressISBN: 978-1-4665-6466-4Medium: Buch151,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage151,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Studia Logica
An International Journal for Symbolic LogicVerlag: SpringerISSN: 00393215Medium: ZeitschriftInstitutionen - Print + Online
2.854,76 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
Institutionen - Print + Online
2.854,76 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
-
-
Editor-in-Chief: Maria M. Clementino Applied Categorical Structures
A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer ScienceVerlag: SpringerISSN: 09272852Medium: ZeitschriftInstitutionen - Print + Online
1.005,80 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
Institutionen - Print + Online
1.005,80 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
-
Epstein Classical Mathematical Logic
The Semantic Foundations of LogicCourse BookVerlag: De GruyterISBN: 978-1-4008-4155-4Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)180,99 € (inkl. MwSt.)
sofort verfügbar180,99 € (inkl. MwSt.)
sofort verfügbar
-
Anderson Automata Theory with Modern Applications
Erscheinungsjahr 2006Verlag: Cambridge University PressISBN: 978-0-521-84887-9Medium: Buch108,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage108,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Feferman In the Light of Logic
Neuausgabe 1999Verlag: OXFORD UNIV PRISBN: 978-0-19-508030-8Medium: Buch148,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage148,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
