dbpedia > boolean

formatos disponibles

Ordina per

Data
Popolarità

visualizzazione

Listado Compacto
Elenco
Mosaico

Trova

Wikipedia Article

Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.What is now usually called classical algebraic logic focuses on the identification and al ...

Mi piace 0
Visite 7
Commenti 0

Equipo Didactalia

Avanti

Wikipedia Article

Haim Gaifman

Haim Gaifman is a mathematician and philosopher at Columbia University. He received his Ph.D. under Alfred Tarski (on infinite Boolean algebras). He worked on a broad spectrum in mathematical logic (m ...