Tell your friends about this item:
Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) Dirk Siefkes German, 2. Aufl. 1992 edition
Price
$ 71.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 3 - 9
Our customers say:
Add to your iMusic wish list
Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition)
Dirk Siefkes
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | 1992 |
| ISBN13 | 9783528147570 |
| Publishers | Vieweg+Teubner Verlag |
| Pages | 259 |
| Dimensions | 167 × 15 × 240 mm · 449 g |
| Language | German |
More by Dirk Siefkes
Show all![Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Paperback Book) [Softcover Reprint of the Original 1st 1999 edition] (2012)](https://imusic.b-cdn.net/images/item/original/608/9783642636608.jpg?dirk-siefkes-2012-pioniere-der-informatik-ihre-lebensgeschichte-im-interview-paperback-book&class=scaled&v=1436890510)
![Cover for Dirk Siefkes · Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen - Studien Zur Wissenschafts- Und Technikforschung (Paperback Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/000/9783824443000.jpg?dirk-siefkes-1998-sozialgeschichte-der-informatik-kulturelle-praktiken-und-orientierungen-studien-zur-wissenschafts-und-technikforschung-paperback-book&class=scaled&v=1587350348)
![Cover for Dirk Siefkes · Formale Methoden und Kleine Systeme - Theorie der Informatik (Paperback Book) [1993 edition] (1992)](https://imusic.b-cdn.net/images/item/original/990/9783528051990.jpg?dirk-siefkes-1992-formale-methoden-und-kleine-systeme-theorie-der-informatik-paperback-book&class=scaled&v=1610575180)
![Cover for Dirk Siefkes · Formalisieren und Beweisen - Lehrbuch Informatik (Paperback Book) [1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/573/9783528047573.jpg?dirk-siefkes-1990-formalisieren-und-beweisen-lehrbuch-informatik-paperback-book&class=scaled&v=1543925856)
![Cover for Dirk Siefkes · Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 - Lecture Notes in Computer Science (Paperback Book) [1975 edition] (1975)](https://imusic.b-cdn.net/images/item/original/044/9783662391044.jpg?dirk-siefkes-1975-gi-4-jahrestagung-berlin-9-12-oktober-1974-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1414069000)
![Cover for Dirk Siefkes · Buchi's Monadic Second Order Successor Arithmetic - Lecture Notes in Mathematics (Paperback Book) [German, 1970 edition] (1970)](https://imusic.b-cdn.net/images/item/original/481/9783662358481.jpg?dirk-siefkes-1970-buchi-s-monadic-second-order-successor-arithmetic-lecture-notes-in-mathematics-paperback-book&class=scaled&v=1493059820)
Mere med samme udgiver
![Cover for Hermann Weidenfeller · Grundlagen Der Kommunikationstechnik - Leitfaden Der Elektrotechnik (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 2002 edition] (2014)](https://imusic.b-cdn.net/images/item/original/067/9783663078067.jpg?hermann-weidenfeller-2014-grundlagen-der-kommunikationstechnik-leitfaden-der-elektrotechnik-paperback-book&class=scaled&v=1419874666)
![Cover for T Schurmann · Vieweg Software-trainer Word Fur Windows 2.0 (Book) [German, Softcover Reprint of the Original 1st Ed. 1992 edition] (2014)](https://imusic.b-cdn.net/images/item/original/703/9783322963703.jpg?t-schurmann-2014-vieweg-software-trainer-word-fur-windows-2-0-book&class=scaled&v=1417671476)
![Cover for Borchard-tuch, Claudia (Zusmarshausen) · Computersysteme - Ebenbilder Der Natur?: Ein Vergleich Der Informationsverarbeitung - Facetten (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/040/9783663095040.jpg?borchard-tuch-claudia-zusmarshausen-2014-computersysteme-ebenbilder-der-natur-ein-vergleich-der-informationsverarbeitung-facetten-paperback-book&class=scaled&v=1519773860)
![Cover for Augie Hansen · Programmieren Lernen Mit C: Fur C Und QuickC (Paperback Book) [1990 edition] (2014)](https://imusic.b-cdn.net/images/item/original/689/9783663111689.jpg?augie-hansen-2014-programmieren-lernen-mit-c-fur-c-und-quickc-paperback-book&class=scaled&v=1521058096)
![Cover for Priv -Doz Dr Dr Wolfram Bender · Schizophrene Erkrankungen: Therapie, Therapieresistenz -- Eine Standortbestimmung (Paperback Book) [1988 edition] (2014)](https://imusic.b-cdn.net/images/item/original/299/9783663019299.jpg?priv-doz-dr-dr-wolfram-bender-2014-schizophrene-erkrankungen-therapie-therapieresistenz-eine-standortbestimmung-paperback-book&class=scaled&v=1520722825)
![Cover for Jurgen Kohler · Warme- Und Stoffubertragung in Zweiphasenstromungen: Kondensation Und Absorption in Horizontalen Rohren - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Paperback Book) [German, 1996 edition] (2014)](https://imusic.b-cdn.net/images/item/original/121/9783663118121.jpg?jurgen-kohler-2014-warme-und-stoffubertragung-in-zweiphasenstromungen-kondensation-und-absorption-in-horizontalen-rohren-grundlagen-und-fortschritte-der-ingenieurwissenschaften-paperback-book&class=scaled&v=1520120726)
![Cover for Arno Damberger · C/c++ Werkzeugkasten: Anwendungen, Hardwareschnittstellen Und Tools Fur Professionelle Programmierer (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/685/9783322830685.jpg?arno-damberger-2014-c-c-werkzeugkasten-anwendungen-hardwareschnittstellen-und-tools-fur-professionelle-programmierer-paperback-book&class=scaled&v=1520119247)
![Cover for Werner Dieterich · Word 3.0/4.0 Optimal Beherrscht - Software Trainer Aufbaustufe (Paperback Book) [1988 edition] (2014)](https://imusic.b-cdn.net/images/item/original/893/9783663019893.jpg?werner-dieterich-2014-word-3-0-4-0-optimal-beherrscht-software-trainer-aufbaustufe-paperback-book&class=scaled&v=1519169054)
![Cover for Jochen Ludewig · Software- Und Automatisierungsprojekte -- Beispiele Aus Der Praxis - Informatik Und Unternehmensfuhrung (Paperback Book) [1991 edition] (2014)](https://imusic.b-cdn.net/images/item/original/935/9783322946935.jpg?jochen-ludewig-2014-software-und-automatisierungsprojekte-beispiele-aus-der-praxis-informatik-und-unternehmensfuhrung-paperback-book&class=scaled&v=1547266365)
![Cover for Heinz-gunther Nesselrath · Einleitung in Die Griechische Philologie (Paperback Book) [Softcover Reprint of the Original 1st 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/759/9783663120759.jpg?heinz-gunther-nesselrath-2014-einleitung-in-die-griechische-philologie-paperback-book&class=scaled&v=1575784323)
![Cover for Bossel, Hartmut (Universitat Gesamthochschule Kassel Germany) · Modellbildung Und Simulation: Konzepte, Verfahren Und Modelle Zum Verhalten Dynamischer Systeme. Ein Lehr- Und Arbeitsbuch (Paperback Book) [2nd 2. Aufl. 1994. Softcover Reprint of the Origin edition] (2014)](https://imusic.b-cdn.net/images/item/original/208/9783322905208.jpg?bossel-hartmut-universitat-gesamthochschule-kassel-germany-2014-modellbildung-und-simulation-konzepte-verfahren-und-modelle-zum-verhalten-dynamischer-systeme-ein-lehr-und-arbeitsbuch-paperback-book&class=scaled&v=1414927017)
![Cover for Dieter Pratzel-wolters · Operators, Systems and Linear Algebra: Three Decades of Algebraic Systems Theory - European Consortium for Mathematics in Industry (Paperback Book) [German, 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/249/9783663098249.jpg?dieter-pratzel-wolters-2014-operators-systems-and-linear-algebra-three-decades-of-algebraic-systems-theory-european-consortium-for-mathematics-in-industry-paperback-book&class=scaled&v=1425565693)
![Cover for Sandig, Anna-margarete (University of Stuttgart, Stuttgart, Germany) · Some Applications of Weighted Sobolev Spaces - Teubner-texte Zur Mathematik (Paperback Book) [German, 1987 edition] (2014)](https://imusic.b-cdn.net/images/item/original/867/9783663113867.jpg?sandig-anna-margarete-university-of-stuttgart-stuttgart-germany-2014-some-applications-of-weighted-sobolev-spaces-teubner-texte-zur-mathematik-paperback-book&class=scaled&v=1448365214)
![Cover for Brenner, Professor Walter (University of St Gallen Switzerland) · Unternehmensfuhrung Und Informationssystem: Der Ansatz Des St. Galler Informationssystem-Managements - Informatik Und Unternehmensfuhrung (Paperback Book) [2nd 2. Aufl. 1991. Softcover Reprint of the Origin edition] (2014)](https://imusic.b-cdn.net/images/item/original/959/9783322946959.jpg?brenner-professor-walter-university-of-st-gallen-switzerland-2014-unternehmensfuhrung-und-informationssystem-der-ansatz-des-st-galler-informationssystem-managements-informatik-und-unternehmensfuhrung-paperback-book&class=scaled&v=1520378080)
![Cover for Burkart Philipp · Grundlagen Der Makromolekularen Chemie - Wissenschaftliche Taschenbucher (Paperback Book) [2nd 2. Aufl. 1976 edition] (2014)](https://imusic.b-cdn.net/images/item/original/671/9783663019671.jpg?burkart-philipp-2014-grundlagen-der-makromolekularen-chemie-wissenschaftliche-taschenbucher-paperback-book&class=scaled&v=1519860119)
![Cover for Friedrich Kronenberg · SCO Unix Von Anfang an: Eine Umfassende, Leicht Verstandliche Einfuhrung Fur Jeden Anwender (Paperback Book) [Softcover Reprint of the Original 1st 1993 edition] (2014)](https://imusic.b-cdn.net/images/item/original/272/9783322872272.jpg?friedrich-kronenberg-2014-sco-unix-von-anfang-an-eine-umfassende-leicht-verstandliche-einfuhrung-fur-jeden-anwender-paperback-book&class=scaled&v=1453404357)
![Cover for Klaus Hohmann · Technische Wärmelehre (Viewegs Fachbücher Der Technik) (German Edition) (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1971 edition] (2014)](https://imusic.b-cdn.net/images/item/original/241/9783663052241.jpg?klaus-hohmann-2014-technische-warmelehre-viewegs-fachbucher-der-technik-german-edition-paperback-book&class=scaled&v=1520636708)
![Cover for Rui Zhao · Handsketch-Based Diagram Editing - Xteubner-Texte Zur Informatik (Paperback Book) [1993 edition] (2014)](https://imusic.b-cdn.net/images/item/original/698/9783322953698.jpg?rui-zhao-2014-handsketch-based-diagram-editing-xteubner-texte-zur-informatik-paperback-book&class=scaled&v=1605595989)
![Cover for Ernst Heinrich Hirschel · Shear Flow in Surface-Oriented Coordinate - Notes on Numerical Fluid Mechanics and Multidisciplinary Des (Paperback Book) [1981 edition] (2014)](https://imusic.b-cdn.net/images/item/original/777/9783663052777.jpg?ernst-heinrich-hirschel-2014-shear-flow-in-surface-oriented-coordinate-notes-on-numerical-fluid-mechanics-and-multidisciplinary-des-paperback-book&class=scaled&v=1501223924)
![Cover for Dietrich Bender · Einheiten, Masssysteme, Si - Wissenschaftliche Taschenbucher (Paperback Book) [1973 edition] (2014)](https://imusic.b-cdn.net/images/item/original/770/9783663019770.jpg?dietrich-bender-2014-einheiten-masssysteme-si-wissenschaftliche-taschenbucher-paperback-book&class=scaled&v=1492583858)
![Cover for Peter Jenny · Farbhunger: Texte Und Bilder Zur Aufhebung Der Gewaltenteilung Zwischen Wort Und Farbe, Begriff Und Anschauung (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/251/9783322912251.jpg?peter-jenny-2014-farbhunger-texte-und-bilder-zur-aufhebung-der-gewaltenteilung-zwischen-wort-und-farbe-begriff-und-anschauung-paperback-book&class=scaled&v=1415479687)
![Cover for Dohrn, Ralf (Bayer Technology Services Gmbh, Leverkusen, Germany Bayer Technological Services Gmbh Bayer Technological Services Gmbh Bayer Technological Services Gmbh Bayer Technology Services Gmbh, Leverkusen, Germany Bayer Technological Services Gmbh) · Berechnung Von Phasengleichgewichten - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Paperback Book) [German, 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/123/9783322992123.jpg?dohrn-ralf-bayer-technology-services-gmbh-leverkusen-germany-bayer-technological-services-gmbh-bayer-technological-services-gmbh-bayer-technological-services-gmbh-bayer-technology-services-gmbh-leverkusen-germany-bayer-technological-services-gmbh-2014-bere&class=scaled&v=1521242498)
See all of Dirk Siefkes ( e.g. Paperback Book and Hardcover Book )