1 |
|
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
2 |
|
Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit [E-Book]
|
Zimmermann, Karl-Heinz
|
2020 |
|
.
|
3 |
|
Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium [E-Book]
|
Junk, Michael
|
2020 |
|
.
|
4 |
|
¬Das¬ BUCH der Beweise [E-Book]
|
Aigner, Martin
|
2010 |
|
.
|
5 |
|
Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256221
|
.
|
6 |
|
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
7 |
|
„Das ist o. B. d. A. trivial!“ Tipps und Tricks zur Formulierung mathematischer Gedanken [E-Book]
|
Beutelspacher, Albrecht
|
2009 |
|
.
|
8 |
|
Einführung in die Mathematische Logik: Ein Lehrbuch [E-Book]
|
Rautenberg, Wolfgang
|
2008 |
|
.
|
9 |
|
Glück, Logik und Bluff: Mathematik im Spiel: Methoden, Ergebnisse und Grenzen [E-Book]
|
|
2007 |
|
.
|
10 |
|
Glück, Logik und Bluff: Mathematik im Spiel – Methoden, Ergebnisse und Grenzen [E-Book]
|
Bewersdorff, Jörg
|
2010 |
|
.
|
11 |
|
Gödel Forever: Through 90 Years of Foundational Claims [E-Book]
|
|
2023 |
|
.
|
12 |
|
¬Die¬ Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis [E-Book]
|
Hoffmann, Dirk W.
|
2013 |
|
.
|
13 |
|
¬Die¬ Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis [E-Book]
|
Hoffmann, Dirk W.
|
2017 |
|
.
|
14 |
|
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book]
|
Hoffmann, Dirk W.
|
2011 |
|
.
|
15 |
|
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book]
|
Hoffmann, Dirk W.
|
2013 |
|
.
|
16 |
|
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book]
|
Hoffmann, Dirk W.
|
2018 |
|
.
|
17 |
|
Innovations in Fuzzy Clustering: Theory and Applications [E-Book]
|
|
2006 |
|
.
|
18 |
|
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings [E-Book]
|
|
2017 |
500257449
|
.
|
19 |
|
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings [E-Book]
|
|
2017 |
500244467
|
.
|
20 |
|
Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers [E-Book]
|
|
2017 |
500245311
|
.
|