Member prinsklyn
1 Book 2 Collections
- Collections
- Tags
- lógica (1), demonstração (1), prova (1), introdução (1), aritmética (1), lógica matemática (1), linguagem formal (1), métodos formais (1), fundamentos da matemática (1), filosofia da lógica (1), sistemas dedutivos (1), proposicional (1), predicados (1), axiomatização (1)
- Media
- Joined
- Oct 28, 2025
- Currently Reading