Back to ComputerTerms

A logical formula is satisfiable if there exists a "[[Model]]".

Back to ComputerTerms