Skip to main content
  • Textbook
  • © 1977

Mathematische Logik mit Informatik-Anwendungen

Part of the book series: Heidelberger Taschenbücher (HTB, volume 187)

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (7 chapters)

  1. Front Matter

    Pages I-XV
  2. Vorbemerkungen

    • Eberhard Bergmann, Helga Noll
    Pages 1-3
  3. Einführung und Motivation

    • Eberhard Bergmann, Helga Noll
    Pages 4-25
  4. Syntax und Semantik der Prädikatenlogik

    • Eberhard Bergmann, Helga Noll
    Pages 26-39
  5. Eigenschaften der Prädikatenlogik

    • Eberhard Bergmann, Helga Noll
    Pages 40-154
  6. Logische Grundlagen des maschinellen Beweisens (Resolventenprinzip)

    • Eberhard Bergmann, Helga Noll
    Pages 155-237
  7. Die Methode der Formalisierang: zwei Beispiele

    • Eberhard Bergmann, Helga Noll
    Pages 238-258
  8. Probleme mit der Logik

    • Eberhard Bergmann, Helga Noll
    Pages 259-278
  9. Back Matter

    Pages 279-324

Authors and Affiliations

  • Fachbereich Informatik Informatik-Forschungsgruppen Programmiersprachen und Compiler I Computergestützte Informationssysteme, Technische Universität Berlin, Germany

    Eberhard Bergmann, Helga Noll

Bibliographic Information

  • Book Title: Mathematische Logik mit Informatik-Anwendungen

  • Authors: Eberhard Bergmann, Helga Noll

  • Series Title: Heidelberger Taschenbücher

  • DOI: https://doi.org/10.1007/978-3-642-66635-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08202-6Published: 01 July 1977

  • eBook ISBN: 978-3-642-66635-3Published: 12 March 2013

  • Series ISSN: 0073-1684

  • Edition Number: 1

  • Number of Pages: XV, 326

  • Number of Illustrations: 3 b/w illustrations

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access