Vorstellung des Autors Adrian Rezuş:

Bisher veröffentlichte Bücher von Adrian Rezuş:

Witness Theory: Anmerkungen zu λ-Kalkül und Logik - Witness Theory: Notes on λ-calculus and...

Dieses Buch befasst sich mit der mathematischen...

Zeitgenössische Logik und Datenverarbeitung - Contemporary Logic and Computing

Der vorliegende Band geht auf einen Buchvorschlag zurück, der vor etwa...