Metadata
Author: WikiMatrix
Data
English[en]
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.
Indonesian[id]
Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif.