/ Home /

A. Bernhard Zeidler Profile

This author hasn't filled out their profile yet.

Books I've written

Many-Sorted Logic Mathematics by A. Bernhard Zeidler

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