Deutsch Englisch

Informationen

Fragen Sie uns!

Neuerwerbungen

Semesterapparate

Sachgebiete

Speichern

Trefferanalyse

Abmelden

 

Elektronische Zettelkataloge

Citation Linker

E-Books

E-Journals

Datenbanken

Nationallizenzen

Fernleihe

Medienaufstellung

Katalogmenü

UB Home

Impressum

Diese Suchanfrage abonnieren (RSS)
1 - 10 von 60
vorherige Seite      nächste Seite
* Ihre Aktion  suchen [und] MAK (Oa* or Of*) and rvk sk 130?
Online Ressourcen (ohne Zeitschr.) 1.  Das Buch der Beweise
/ Martin Aigner. - 3. Aufl. - Berlin [u.a.] : Springer, 2010
Online Ressourcen (ohne Zeitschr.) 2.  Das Buch der Beweise
/ Martin Aigner. - 4., [überarb. und erw.] Aufl. - Berlin [u.a.] : Springer Spektrum, 2015Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 3.  Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
/ Alessandro Andretta. - Cambridge : Cambridge University Press, 2007Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 4.  Computable structures and the hyperarithmetical hierarchy
/ C. J. Ash. - 1. ed. [Online-Ausg.]. - Amsterdam : Elsevier, 2000Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 5.  Algorithmik für Einsteiger : Für Studierende, Lehrer und Schüler in den Fächern Mathematik und Informatik
/ Armin P. Barth. - 2., überarb. Aufl. 2013. - Wiesbaden : Springer Spektrum, 2013
Online Ressourcen (ohne Zeitschr.) 6.  An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems
/ Merrie Bergmann. - Cambridge : Cambridge University Press, 2008Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 7.  Mathematisches Argumentieren, Begründen und Beweisen : Grundlagen, Befunde und Konzepte
/ Esther Brunner. - Berlin [u.a.] : Springer Spektrum, 2014Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 8.  Modellbildung und Simulation : eine anwendungsorientierte Einführung
/ Hans-Joachim Bungartz. - 2., überarbeitete Auflage. - Berlin : Springer Spektrum, [2013]
Online Ressourcen (ohne Zeitschr.) 9.  Model theory with applications to algebra and analysis : Volume 2
/ Zoé Maria Chatzidakis. - Cambridge : Cambridge University Press, 2008Zusammenfassung
Online Ressourcen (ohne Zeitschr.) 10.  Model theory with applications to algebra and analysis : Volume 1
/ Zoé Maria Chatzidakis. - Cambridge : Cambridge University Press, 2008Zusammenfassung
[PRS] Personennamen: Hoffmann, Dirk W.
Siehe auch: symbolic | mengenlehre | beweisen | unvollstaendigkeitssatz | unvollständigkeitssatz | gödelscher | goedelscher | beweis | logik
1 - 10 von 60
vorherige Seite      nächste Seite
Wort   Typ   Anzahl
Of? [MAK] Bibliogr. Gattung und Status ≈6373
sk 130? [RVK] Regensburger Verbundklassifikation (PH) 172
Oa? [MAK] Bibliogr. Gattung und Status ≈705356
 
1 - 10 von 60
vorherige Seite      nächste Seite