Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Einführung in die Mathematische Logik: Ein Lehrbuch

Einführung in die Mathematische Logik: Ein Lehrbuch
Kataloginformation
Feldname Details
Vorliegende Sprache ger
Hinweise auf parallele Ausgaben 284153060 Buchausg. u.d.T.: ‡Rautenberg, Wolfgang, 1936 - 2011: Einführung in die mathematische Logik
ISBN 978-3-8348-0578-2
Name Rautenberg, Wolfgang
T I T E L Einführung in die Mathematische Logik
Zusatz zum Titel Ein Lehrbuch
Auflage 3., überarbeitete Auflage
Verlagsort Wiesbaden
Verlag Vieweg+Teubner
Erscheinungsjahr 2008
2008
Umfang Online-Ressource (XXI, 249S, digital)
Reihe SpringerLink. Bücher
Titelhinweis Buchausg. u.d.T.: ‡Rautenberg, Wolfgang, 1936 - 2011: Einführung in die mathematische Logik
ISBN ISBN 978-3-8348-9530-1
Klassifikation PBW
MAT003000
*03-01
68N17
PBC
MAT018000
519
511.3
T57-57.97
SK 130
Kurzbeschreibung Aussagenlogik -- Prädikatenlogik -- Der Gödelsche Vollständigkeitssatz -- Grundlagen der Logikprogrammierung -- Elemente der Modelltheorie -- Unvollständigkeit und Unentscheidbarkeit -- Zur Theorie der Selbstreferenz.
2. Kurzbeschreibung Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Der Text der 3. Auflage wurde sachlich und stilistisch vollständig überarbeitet, Index und Literaturverzeichnis wurden revidiert. Darüber hinaus wurde eine historisch orientierte Einleitung hinzugefügt.
1. Schlagwortkette Mathematische Logik
Lehrbuch
1. Schlagwortkette ANZEIGE DER KETTE Mathematische Logik -- Lehrbuch
2. Schlagwortkette Mathematische Logik
ANZEIGE DER KETTE Mathematische Logik
SWB-Titel-Idn 316105902
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-8348-9530-1
Internetseite / Link Volltext
Siehe auch Cover
Siehe auch Inhaltstext
Kataloginformation500145676 Datensatzanfang . Kataloginformation500145676 Seitenanfang .
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche