Formal system

any well-defined system of abstract thought based on the model of mathematics

type theory Hoare logic Situation calculus logical system formal language lambda calculus type system

Showing 0 to 7 of 7 Items