Function: noun
Date: 1856
: a science of developing and representing logical principles by means of a formalized system consisting of primitive symbols, combinations of these symbols, axioms, and rules of inference
Function: noun
Date: 1856
: a science of developing and representing logical principles by means of a formalized system consisting of primitive symbols, combinations of these symbols, axioms, and rules of inference
Merriam Webster Collegiate English Dictionary. Merriam Webster - Энциклопедический словарь английского языка. 2012