Welcome\! We are about to start a journey through modern logic, in which we will visit two central results of this branch of mathematics, which are often misquoted and badly explained\.
Mention them?
by Eric Bruylant Oct 21 2016
Welcome\! We are about to start a journey through modern logic, in which we will visit two central results of this branch of mathematics, which are often misquoted and badly explained\.
Mention them?