Metadata
Author: WikiMatrix
Data
English[en]
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.
Dutch[nl]
Moderne logica omvat de recursietheorie, de modeltheorie en de bewijstheorie, en is sterk verbonden met informatica.