Présentation de l'auteur Adrian Rezuş :

Livres publiés jusqu'à présent par Adrian Rezuş :

Théorie du témoin : Notes sur le λ-calcul et la logique - Witness Theory: Notes on λ-calculus and...

Ce livre porte sur l'analyse mathématique du...

Logique et informatique contemporaines - Contemporary Logic and Computing

Le présent volume est issu d'une proposition de livre faite il y a environ deux...