VDict - Definition of mathematical logic

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

first-order logic George Boole Boolean algebra neutrosophic logic two-valued logic propositional logic predicate logic equational logic EQLog MPSX Interest Group in Pure and Applied Logics logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic LO lambda-calculus classical logic linear logic BABEL logic emulator intuitionistic logic P-Prolog Lolli LOGIN intuitionistic probability quantifier HOL modal logic Distributed Logic Programming Horn clause {log} Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81 Baroque proof theory logic variable more...