Open main menu

Wikipedia β

Changes

Mathematical logic

32 bytes added, 3 months ago
m
Proof theory and constructive mathematics
 
{{Authority control}}
 
[[Category:Mathematical analysis]]
[[Category:Mathematical logic| ]]