Advertisement

Logikkalküle

  • Michael M. Richter

Part of the Leitfäden der angewandten Mathematik und Mechanik LAMM book series (LAMM-TSB, volume 43)

Table of contents

  1. Front Matter
    Pages 1-8
  2. Michael M. Richter
    Pages 9-37
  3. Michael M. Richter
    Pages 89-166
  4. Back Matter
    Pages 224-233

About this book

Keywords

Algebra Beweis Kompaktheitssatz Logik Natur Prädikatenlogik Sequenzenkalkül Systeme Ultraprodukt

Authors and affiliations

  • Michael M. Richter
    • 1
  1. 1.Technischen Hochschule AachenAachenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-91208-4
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1978
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-02345-6
  • Online ISBN 978-3-322-91208-4
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering