Este é o áudio deste vídeo: https://youtu.be/gbjI5akIeQE

Entrevista completa com Walter Carnielli: https://youtu.be/FBrExIIO6Hk  

Livros:

Games for Your Mind: The History and Future of Logic Puzzles  by Jason Rosenhouse https://www.amazon.com/Games-Your-Mind-History-Puzzles-ebook/dp/B08DL91KVR 

The Significance of the New Logic, Willard Van Orman Quine https://www.amazon.com.br/Significance-Logic-Willard-Orman-Quine/dp/1316631168/ 

Leia também Computabilidade, Funções Computáveis, Lógica E Funções Matemáticas   Walter Carnielli https://www.amazon.com.br/Computabilidade-Fun%C3%A7%C3%B5es-Comput%C3%A1veis-L%C3%B3gica-Matem%C3%A1ticas-ebook/dp/B01975UD9Q/