Logic Links to this note 3-SAT Combinatory logic Gödel's theorem Last changed 14/07/2020 | authored by Hugo Cisneros