Lògica matemàtica / गणितीय तर्क - Lèxic
lògica de predicats
विधेय तर्क
de primer ordre
पहले के आदेश
de segon ordre
दूसरा आदेश
teoria de models
मॉडल सिद्धांत
teoria de la prova
प्रमाण सिद्धांत
teoria de conjunts
सेट सिद्धांत
Àlgebra de Boole
बूलियन बीजगणित
CATALÀ ▼