/ Home /

A. Bernhard Zeidler Profile

A. Bernhard Zeidler is the author of 1 free mathematics ebook on Free-eBooks.net, including Many-Sorted Logic. Their books have been downloaded 232 times. All titles are free to download in PDF, ePub, and Kindle formats.

  • 1 Books
  • 232 Downloads
  • — Avg rating
  • 2021 Member since
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:
    232

    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

Find Your Next Great Read

Describe what you're looking for in as much detail as you'd like.
Our AI reads your request and finds the best matching books for you.

Showing results for ""

Popular searches:

Romance Mystery & Thriller Self-Help Sci-Fi Business