Rudolf Adamkovič Personal site


Logic

A branch of discrete mathematics concerned with

formal reasoning.

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