Rudolf Adamkovič Personal site


Logic

A branch of discrete mathematics concerned with

formal reasoning.

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.