dbpedia > boolean

formatos disponibles

Ordenar por

Data
Popularidade

visualización

Listado Compacto
Lista
Mosaico

Atopar

Artículo Wikipedia

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 ...

Gústame 0
Visitas 7
Comentarios 0

Equipo Didactalia

Seguir

Artículo Wikipedia

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 ...