Sembolik mantık
Vikipedi, özgür ansiklopedi
Matematikte önermeler ve bunların aralarındaki ilişkileri inceleyen yöntemlerin bütünü. (bakınız: Matematiğin Temelleri)
Matematikte önermeler ve bunların aralarındaki ilişkileri inceleyen yöntemlerin bütünü. (bakınız: Matematiğin Temelleri)