/ Home /

A. Bernhard Zeidler Profile

User's Picture
This author hasn't filled out their profile yet.

Books I've written

  • Many-Sorted Logic
    Many-Sorted Logic Mathematics by A. Bernhard Zeidler
    Many-Sorted Logic
    Many-Sorted Logic

    Reads:
    212

    Pages:
    72

    Published:
    Mar 2021

    Many sorted languages are the natural way how to formalize mathematical theories. This text provides an introduction to many-sorted logic and models. Our main...

    Formats: PDF