Valeria de Paiva has contributed to 163 nLab pages.
| Brian Day | 00:38:30, January 27 2025 |
| minimal logic | 22:50:19, January 19 2025 |
| true proposition | 02:33:21, January 03 2025 |
| truth value | 02:32:29, January 03 2025 |
| proposition | 02:31:34, January 03 2025 |
| axiom | 02:30:51, January 03 2025 |
| Hilbert's program | 02:29:53, January 03 2025 |
| proof | 02:28:18, January 03 2025 |
| proof theory | 02:27:33, January 03 2025 |
| foundation of mathematics | 02:25:45, January 03 2025 |
| Curry's paradox | 02:21:30, January 03 2025 |
| axiom of full comprehension | 02:19:20, January 03 2025 |
| axiom of foundation | 16:26:11, January 02 2025 |
| axiom of extensionality | 16:23:51, January 02 2025 |
| Dialectica interpretation | 01:44:58, December 31 2024 |
| HOL Light | 21:10:04, December 30 2024 |
| NuPRL | 21:09:31, December 30 2024 |
| Lean | 21:08:08, December 30 2024 |
| geogebra | 21:02:25, December 30 2024 |
| (classical) axiom of multiple choice | 18:54:29, December 30 2024 |
| axiom of choice | 17:32:28, December 30 2024 |
| logic | 17:30:56, December 30 2024 |
| mathematical logic | 17:29:54, December 30 2024 |
| excluded middle | 17:28:28, December 30 2024 |
| BHK interpretation | 17:21:44, December 30 2024 |
| BHK interpretation | 16:31:30, December 30 2024 |
| Annette Huber | 00:50:35, December 26 2024 |
| Stéphane Launois | 15:29:57, December 25 2024 |
| Willard Quine | 15:27:26, December 25 2024 |
| Yuri Matiyasevich | 15:25:28, December 25 2024 |