Metadata
Author: WikiMatrix
Data
French[fr]
Carl Hewitt (en) est en faveur de cette approche, parce qu'avoir les propriétés booléennes usuelle, la déduction naturelle et le théorème de la déduction est très important dans des domaines d'application comme le génie logiciel,.
Portuguese[pt]
Carl Hewitt favoreceu essa abordagem, reivindicando que ter as propriedades usuais de Booleanas, dedução natural, e teorema da dedução são grandes vantagens em engenharia de software.