mutterA metamathematical description of the undecidable proposition…

 
 

marcello mercado homepage