|
431 |
Connection calculi for automated theorem proving in classical and non-classical logics
Otten, Jens, 2013
|
|
|
|
432 |
Connectivity in graphs and digraphs
Holtkamp, Andreas. - Aachen : Shaker, 2013
|
|
|
433 |
Connectivity in graphs and digraphs
Holtkamp, Andreas. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
434 |
Cylindric-like Algebras and Algebraic Logic
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
|
435 |
Das Unendliche
Heidelberg : Spektrum-der-Wiss.-Verl.-Ges., 2013, Nachdr., 3., unveränd. Neuaufl.
|
|
|
|
436 |
Die Abzählbarkeit transfiniter Zahlenmengen und das Cantorsche Kontinuumsproblem
Hönig, Volker. - Speyer : V. Hönig, 2013, 1. Aufl.
|
|
|
|
437 |
Die Gödel'schen Unvollständigkeitssätze
Hoffmann, Dirk W.. - Berlin : Springer Spektrum, 2013
|
|
|
|
438 |
Die Gödel’schen Unvollständigkeitssätze
Heidelberg : Spektrum Akademischer Verlag, 2013
|
|
|
|
439 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken
Weiß, Felix, 2013
|
|
|
|
440 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken
Weiß, Felix. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
|
|
Administration
