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