Lógica no Avião

Série n

Seminário Lógica no Avião, 2013 - 2018Organizadores:
Edgar Almeida
Alexandre Costa-Leite
Rodrigo Freire
(2019)