dbpedia > boolean

formatos disponibles

Ordenar per

Data
Popularitat

visualització

Listado Compacto
Llistat
Mosaic

Trobar

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

M'agrada 0
Visites 7
Comentaris 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 ...