GVK - Gemeinsamer Verbundkatalog

Leihbestellung | Kopiebestellung | subito-Bestellung | Speichern/Drucken | Merken

Ihre Aktion

suchen [und]

([PPN] Pica-Produktionsnummer)

378639315

| 1 Treffer


	PPN:	378639315
		[Lehrbuch]
	Titel:	Logic and structure / Dirk van Dalen
	Verfasser:	Dalen, Dirk, van 1932-
	Ausgabe:	4. ed.
	Ort/Jahr:	Berlin ; Heidelberg [u.a.] : Springer, 2004
	Sprache/n:	Englisch
	Art des Inhalts:	Lehrbuch
	Umfang:	X, 263 S. : graph. Darst. ; 24 cm
	Schriftenreihe:	Universitext
	Anmerkung:	Literaturverz. S. [257] - 258 Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe
	ISBN:	978-3-540-20879-2 3-540-20879-8
	Schlagwörter:	Mathematische Logik Mathematische Logik *Logic, Symbolic and mathematical
	Klassifikation:	Library of Congress Classification: QA9 Dewey Decimal Classification: 511.3 Basisklassifikation: 31.10 (Mathematische Logik; Mengenlehre) RVK: SK 130: SA-SP Mathematik / SK Monografien / Logik und Grundlagen, Metamathematik, Mathematics Subject Classification: 03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mathematics Subject Classification: 03-02 Research exposition (monographs, survey articles)
	Inhalt:	From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary TOC:Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Goedel's Theorem.- Bibliography.- Index.-
	Links zum Titel:	Inhaltstext Einführung/Vorwort Inhaltsverzeichnis https://zbmath.org/?q=an:1048.03001 [Zentralblatt MATH] http://www.loc.gov/catdir/enhancements/fy0817/2004045235-d.html [Publisher description] http://www.loc.gov/catdir/enhancements/fy0817/2004045235-b.html [Contributor biographical information]

Alle Ausgaben und Formate dieses Titels in WorldCat

Besitzende Bibliothek(en): Klicken Sie auf einen Bibliotheksnamen oder auf > Detailansicht

., Bibliotheken der Berufsakademie Sachsen und Ev. Hochschule Dresden <4736>

Bremen, Constructor University Bremen gGmbH Information Resource Center / ILL <579>

Erfurt / Gotha, UB Erfurt / FB Gotha <547>

Göttingen, Niedersächsische Staats- und Universitätsbibliothek / Universität / AdW <7>

Greifswald, Universitätsbibliothek <9>

Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt (Halle) <DE-3>

Hamburg, Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg <705>

Hamburg, Staats- und Universitätsbibliothek Hamburg / Universität Hamburg <18>

Heidenheim, Duale Hochschule Baden-Württemberg Heidenheim

Jena, Thüringer Universitäts- und Landesbibliothek Jena <27>

Karlsruhe, Badische Landesbibliothek

Karlsruhe, Karlsruher Institut für Technologie (KIT) - KIT-Bibliothek

Kiel, Universitätsbibliothek Kiel <8>

Lörrach, Duale Hochschule Baden-Württemberg Lörrach, Zentralbibliothek

Magdeburg, Otto-von-Guericke-Universitätsbibliothek <Ma9>

Mannheim, Duale Hochschule Baden-Württemberg Mannheim

Merseburg, Hochschule Merseburg Hochschulbibliothek - Gebäude Hg/B <542>

Oldenburg, BIS - Universität Oldenburg Fernleihe und Dokumentenlieferdienste <715>

Potsdam, Universitätsbibliothek <517>

Saarland, Saarländische Bibliotheken

Tübingen, Institute der Universität Tübingen

Bitte beachten Sie, dass nicht immer alle Materialien tatsächlich für die Ausleihe zur Verfügung stehen. Weitere Informationen erhalten Sie über den Katalog der jeweiligen Bibliothek durch Klick auf OPC.
subito Lieferbibliotheken sind in Rot dargestellt