Hugo Cisneros
Open main menu
Blog
Notes
Projects
Resume
Contact
← Browse all tags
Logic
Notes
3-SAT
Combinatory logic
Gödel's theorem