Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.

Ergebnis der Suche nach: tit all "Mathematical Logic for Computer Science"
im Bestand: Gesamter Bestand

1 - 9 von 9

1	Simple Type Theory Cham : Springer International Publishing, 2023, 1st edition 2023
2	Mathematical logic Li, Wei. - Basel : Birkhäuser, 2014, 2., rev. ed.
3	Mathematical Logic Li, Wei. - Basel : Springer Basel, 2014, 2nd ed. 2014
4	Mathematical Logic for Computer Science Ben-Ari, Mordechai. - Guildford, Surrey : Springer London, 2012, 3., rd ed.	Verlagsinformation
5	Mathematical Logic for Computer Science Ben-Arî, Môtî. - London : Springer London, 2012, 3rd ed. 2012
6	Mathematical logic Li, Wei. - Basel : Birkhäuser, 2010
7	Mathematical logic for computer science Ben-Arî, Môtî. - London : Springer, 2001, 2. ed.
8	Mathematical Logic for Computer Science London : Springer London, 2001, Second edition
9	Mathematical logic quarterly Weinheim : Wiley-VCH