Enquanto editor da parte de lógica da IEP (Internet Encyclopedia of
Philosophy),
estou produzindo uma série de verbetes sobre os teoremas da lógica moderna.
Vem aí o primeiro:
The Compactness Theorem
https://iep.utm.edu/compactness/
Todo mundo é bem-vindo para escrever um verbete, a seguir uma
https://www.bbc.com/portuguese/articles/cx9n4gej8llo?at_link_id=9EE1D5EA-F4FD-11ED-940A-59ECFF7C7F44_ptr_name=twitter_format=link_campaign_type=owned_campaign=Social_Flow_link_type=web_link_bbc_team=editorial_medium=social_link_origin=bbcbrasil
--
Elaine.
---