Tag Gilles Dowek

Gilles Dowek (Gilles Dowek) is a world-renowned computer scientist and author, famous for his authoritative, masterfully clear guides on professional logic and mathematical foundations.