Grundzüge der mathematischen Logik

  • Authors
  • P. S. Novikov
Book

Part of the Logik und Grundlagen der Mathematik book series (LGM, volume 14)

Table of contents

  1. Front Matter
    Pages i-ix
    PDF
  2. Einleitung
    P. S. Novikov
    Pages 1-18
  3. Aussagenalgebra
    P. S. Novikov
    Pages 19-39
  4. Aussagenkalkül
    P. S. Novikov
    Pages 40-83
  5. Prädikatenlogik
    P. S. Novikov
    Pages 84-124
  6. Der Prädikatenkalkül
    P. S. Novikov
    Pages 125-194
  7. Axiomatische Arithmetik
    P. S. Novikov
    Pages 195-236
  8. Elemente der Beweistheorie
    P. S. Novikov
    Pages 237-281
  9. Back Matter
    Pages 282-286
    PDF

About this book

Keywords

Algebra Arithmetik Beweis Funktion Lehrsatz Rekursion Variable

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-88787-0
  • Copyright Information Springer Fachmedien 1973
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-08319-9
  • Online ISBN 978-3-322-88787-0
  • About this book
Industry Sectors
Pharma
Automotive
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences