arXiv
Open Access
2012
Todas as afirmações verdadeiras são demonstráveis
Jaime Gaspar
Abstrak
In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.
Topik & Kata Kunci
Penulis (1)
J
Jaime Gaspar
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2012
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓