Logik für Informatiker / Martin Kreuzer; Stefan Kühling

By:

Kreuzer, Martin, 1962- [aut]

Contributor(s):

Kühling, Stefan [aut]

Resource type: Ressourcentyp: BuchBookLanguage: German Series: Informatik LogikPublisher: München [u.a.] : Pearson Studium, 2006Description: 247 S. : graph. DarstISBN:

3827372151
9783827372154

Subject(s):

Mathematische Logik

Genre/Form:

Lehrbuch

Additional physical formats: Erscheint auch als: Logik für Informatiker. Online-Ausgabe München : Pearson, 2006. 1 online resource (249 pages).MSC: MSC: *03-01 | 68-01RVK: RVK: ST 120 | ST 125 | SK 130 | ST 276Call number: Grundsignatur: 2006 A 1689PPN: PPN: 506118134

Holdings ( 8 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Copy number	Status	Barcode
Lehrbuchsammlung	Bibliothek Campus Süd	inf 1.4	Lehrbuchsammlung	2006 A 1689	;w	Available	50958189090
Lehrbuchsammlung	Bibliothek Campus Süd	inf 1.4	Lehrbuchsammlung	2006 A 1689	;h	Available	48528116090
Lehrbuchsammlung	Bibliothek Campus Süd	inf 1.4	Lehrbuchsammlung	2006 A 1689	;m	Available	48534834090
Lehrbuchsammlung	Bibliothek Campus Süd	inf 1.4	Lehrbuchsammlung	2006 A 1689	;n	Available	48534798090
Lehrbuchsammlung	Bibliothek Campus Süd	inf 1.4	Lehrbuchsammlung	2006 A 1689	;c	Available	48582350090
Lehrbuchsammlung	Bibliothek Campus Süd	inf 1.4	Lehrbuchsammlung	2006 A 1689	;f	Available	48582474090
Freihandbestand Präsenznutzung	Bibliothek Campus Süd	inf 1.4	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2006 A 1689		Not for loan	48590110090
Freihandbestand ausleihbar	Fachbibliothek DHBW Karlsruhe	inf 1.4	Bibliothek / frei aufgestellt	2006 A 1689	;v	Available	52190194090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)